Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
15 Results Found Subscribe to search results
000000000000000DEFAULT
Print
1. 
Cover image for Kurt Gödel Essays for his Centennial
Kurt Gödel Essays for his Centennial
Author 
Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Kurt Gödel Das Album The Album
Kurt Gödel Das Album The Album
Author 
Sigmund, Karl. author. Dawson, John. author. Mühlberger, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9189-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for An introduction to Gödel's theorems
An introduction to Gödel's theorems
Author 
Smith, Peter, 1944- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for There's something about Gödel the complete guide to the incompleteness theorem
There's something about Gödel the complete guide to the incompleteness theorem
Author 
Berto, Francesco. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781444315028
ebrary http://site.ebrary.com/id/10577633
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Gödel, Escher, Bach : Bir ebedi Gökçe Belik: Lewis Carroll'un izinde zihinler ve makineler üstüne metaforik bir füg
Gödel, Escher, Bach : Bir ebedi Gökçe Belik: Lewis Carroll'un izinde zihinler ve makineler üstüne metaforik bir füg
Author 
Hofstadter, Douglas R. Akça, Ergün, çev. Koyukan, Hamide, çev.
Preferred Shelf Number 
QA9.8 H7138 2001
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
14. 
Cover image for Gödel, Escher, Bach : an eternal golden braid
Gödel, Escher, Bach : an eternal golden braid
Author 
Hofstadter, Douglas R.
Preferred Shelf Number 
QA9.8 .H63 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Ontology and the vicious-circle principle
Ontology and the vicious-circle principle
Author 
Chihara, Charles S., 1932-
Preferred Shelf Number 
BC 199.V5 C48 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets