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 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 Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Author 
Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Kurt Gödel and the foundations of mathematics : horizons of truth
Kurt Gödel and the foundations of mathematics : horizons of truth
Author 
Baaz, Matthias.
Preferred Shelf Number 
QA9.65 K87 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for After Gödel : Platonism and rationalism in mathematics and logic
After Gödel : Platonism and rationalism in mathematics and logic
Author 
Tieszen, Richard L., author.
Preferred Shelf Number 
QA9 T54 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for After Gödel Platonism and rationalism in mathematics and logic
After Gödel Platonism and rationalism in mathematics and logic
Author 
Tieszen, Richard L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies: