Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
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 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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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: