Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej
Preferred Shelf Number 
BC 135 M6 1952
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg
Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg
Author 
Pinborg, Jan. Kretzmann, Norman, ed.
Preferred Shelf Number 
BC 34 M43 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The Logical systems of Lesniewski
The Logical systems of Lesniewski
Author 
Luschei, Eugene C.
Preferred Shelf Number 
B 4691.L44 L8 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Meaning and necessity : a study in semantics and model logic
Meaning and necessity : a study in semantics and model logic
Author 
Carnap, Rudolf, 1891-
Preferred Shelf Number 
B 840 C3 1956
Format: 
Availability 
Beytepe Library~1
Available:
Copies: