Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for First-order functional calculus
First-order functional calculus
Author 
Keene, Geoffrey Bourton.
Preferred Shelf Number 
BC 135 K4 1966
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Mathematische Gesetze der Logik
Mathematische Gesetze der Logik
Author 
Schmidt, H. Arnold, 1902_
Preferred Shelf Number 
BC 135 S343 1959-
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms
Author 
Jensen, Ronald Björn. Leven, Franz Josef.
Preferred Shelf Number 
QA 248 J453 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for An Introduction to many-valued logic
An Introduction to many-valued logic
Author 
Ackermann, Robert John, 1933-
Preferred Shelf Number 
QA 9 A5 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies: