Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
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 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Author 
Goodstein, Reuben Louis.
Preferred Shelf Number 
QA 241 G6293 1957
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for A first look at modern mathematics
A first look at modern mathematics
Author 
Eicholz, Robert E. O'Daffer, Phares G., ort. yaz.
Preferred Shelf Number 
QA 248.3 E35 1964
Format: 
Availability 
Beytepe Library~1
Available:
Copies: