Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
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:
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 Introductory real analysis
Introductory real analysis
Author 
Munroe, Marshall Evans,d1918-
Preferred Shelf Number 
QA 300 M9268 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for A theory of sets
A theory of sets
Author 
Morse, Anthony Perry.
Preferred Shelf Number 
QA 248 M67 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for A transfinite type with type variables
A transfinite type with type variables
Author 
Andrews, Peter B.
Preferred Shelf Number 
QA 9 A64 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Formal systems and recursive functions : proceeding
Formal systems and recursive functions : proceeding
Author 
Logic Colloquium (8th : 1963 : Oxford).
Preferred Shelf Number 
BC 135 L8292 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets