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
97. 
Cover image for Set theory : an introduction to large cardinals
Set theory : an introduction to large cardinals
Author 
Drake, Frank R.
Preferred Shelf Number 
QA 248 D7 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
98. 
Cover image for Word problems decision problems and the Burnside problem in group theory
Word problems decision problems and the Burnside problem in group theory
Author 
Boone, W. W. (William W.) Cannonito, F. B. (Frank Benjamin) Lyndon, Roger C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422719
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for The axiom of choice
The axiom of choice
Author 
Jech, Thomas J.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104847
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Foundations of set theory
Foundations of set theory
Author 
Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua. Lévy, Azriel, 1934-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422702
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
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:
102. 
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:
103. 
Cover image for Word problems : decision problems and the burnside problem in group theory
Word problems : decision problems and the burnside problem in group theory
Author 
Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.
Preferred Shelf Number 
QA 171 W85 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
104. 
Cover image for The axiom of choice
The axiom of choice
Author 
Jech, Thomas J.
Preferred Shelf Number 
QA 481 J4 1973
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
105. 
Cover image for Combinatory logic. Volume II
Combinatory logic. Volume II
Author 
Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for The theory of semisets
The theory of semisets
Author 
Vopěnka, Petr. Hájek, Petr.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422672
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
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:
108. 
Cover image for Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Author 
Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action