Limit Search Results
Author
SpringerLink (Online service)
(72)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(98)
Mathematics.
(60)
Logic.
(29)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
250 Results Found Subscribe to search results
000000000000DEFAULT
Print
85. 
Cover image for Combinatorial set theory
Combinatorial set theory
Author 
Williams, Neil H.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author 
Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Sets and classes on the work by Paul Bernays
Sets and classes on the work by Paul Bernays
Author 
Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422849
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Set theory with an introduction to descriptive set theory
Set theory with an introduction to descriptive set theory
Author 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Large infinitary languages model theory
Large infinitary languages model theory
Author 
Dickmann, M. A., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Proof theory
Proof theory
Author 
Takeuti, Gaisi, 1926-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Generalized recursion theory Proceedings of the 1972 Oslo symposium
Generalized recursion theory Proceedings of the 1972 Oslo symposium
Author 
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Elementary induction on abstract structures
Elementary induction on abstract structures
Author 
Moschovakis, Yiannis N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Logic in algebraic form Three languages and theories
Logic in algebraic form Three languages and theories
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for An algebraic approach to non-classical logics
An algebraic approach to non-classical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Set theory an introduction to large cardinals
Set theory an introduction to large cardinals
Author 
Drake, F. R. (Frank Robert)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105356
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for An algebraic approach to nonclassical logics
An algebraic approach to nonclassical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
QA 10 R37 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action