Limit Search Results
Author
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
624 Results Found Subscribe to search results
000000000000DEFAULT
Print
601. 
Cover image for Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Author 
Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: 
Availability 
Online Library~1
Available:
Copies:
602. 
Cover image for Intensional and higher-order modal logic with applications to Montague semantics
Intensional and higher-order modal logic with applications to Montague semantics
Author 
Gallin, Daniel.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444110022
Format: 
Availability 
Online Library~1
Available:
Copies:
603. 
Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Author 
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: 
Availability 
Online Library~1
Available:
Copies:
604. 
Cover image for Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
Author 
Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422696
Format: 
Availability 
Online Library~1
Available:
Copies:
605. 
Cover image for Contributions to non-standard analysis
Contributions to non-standard analysis
Author 
Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
Format: 
Availability 
Online Library~1
Available:
Copies:
606. 
Cover image for Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium
Author 
Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422597
Format: 
Availability 
Online Library~1
Available:
Copies:
607. 
Cover image for Logic, automata, and algorithms
Logic, automata, and algorithms
Author 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Availability 
Online Library~1
Available:
Copies:
608. 
Cover image for Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Author 
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: 
Availability 
Online Library~1
Available:
Copies:
609. 
Cover image for Constructive order types
Constructive order types
Author 
Crossley, John N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Availability 
Online Library~1
Available:
Copies:
610. 
Cover image for The collected papers of Gerhard Gentzen
The collected papers of Gerhard Gentzen
Author 
Szabo, M. E. Gentzen, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
Format: 
Availability 
Online Library~1
Available:
Copies:
611. 
Cover image for Past, present and future
Past, present and future
Author 
Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
612. 
Cover image for Non-standard analysis
Non-standard analysis
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534071
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action