Showing
1 - 13
results of
13
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Other:
Remove Filter
Wiskundige logica
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Other:
Remove Filter
Wiskundige logica
Search Results
Showing
1 - 13
results of
13
for search '
'
, query time: 0.20s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
An introduction to symbolic logic.
by
Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Published 1953
Call Number:
Loading...
Located:
Loading...
Book
Loading...
2
Efficient graph rewriting and its implementation /
by
Dörr, Heiko, 1962-
Published 1995
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
3
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Theory reasoning in connection calculi /
by
Baumgartner, Peter, 1962-
Published 1998
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
5
The journal of logic and algebraic programming.
Published 2001
Call Number:
Loading...
Located:
Loading...
Journal
Loading...
6
The seventeen provers of the world /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Publisher description
eBook
7
Journal of applied non-classical logics.
Call Number:
Loading...
Located:
Loading...
Journal
Loading...
8
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /
Published 1981
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
9
Cylindric set algebras.
Published 1981
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
10
Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
11
Frontiers of combining systems : first international workshop, Munich, March 1996 /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
12
Semantical investigations in Heyting's intuitionistic logic /
by
Gabbay, Dov M., 1945-
Published 1981
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
13
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
Published 1992
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
10 results
10
Conference Proceeding
2 results
2
Journal
2 results
2
Book
1 results
1
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
10 results
10
Gabbay, Dov M., 1945-
2 results
2
Andréka, H.
1 results
1
Baader, Franz
1 results
1
Baumgartner, Peter, 1962-
1 results
1
Dyckhoff, Roy, 1948-
1 results
1
Dörr, Heiko, 1962-
1 results
1
ELP '96 Leipzig, Germany
1 results
1
Henkin, Leon
1 results
1
Herre, Heinrich
1 results
1
International Conference on Formal and Applied Practical Reasoning Bonn, Germany
1 results
1
Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
1 results
1
Myers, J. P. (J. Paul), 1946-
1 results
1
O'Donnell, Michael J., 1952-
1 results
1
Ohlbach, Hans Jürgen
1 results
1
Richman, Fred, 1938-
1 results
1
Schroeder-Heister, Peter Joseph, 1953-
1 results
1
Schulz, K. U. (Klaus Ulrich), 1957-
1 results
1
Wiedijk, Freek, 1961-
1 results
1
see all…
Language
English
13 results
13
Loading...