Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Gödel's Theorem : An Incomplete Guide to Its Use and Abuse
Gödel's Theorem : An Incomplete Guide to Its Use and Abuse
Author 
Franzén, Torkel, author. Taylor and Francis.
Preferred Shelf Number 
QA9.65 .F73
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online 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 Godel's way : exploits into an undecidable world
Godel's way : exploits into an undecidable world
Author 
Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Preferred Shelf Number 
QA9.65 .C428 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Gödel kanıtlaması
Gödel kanıtlaması
Author 
Nagel, Ernest, 1901- Newman, James Roy, 1907-1966. Hofstadter, Douglas R. Gözkan, Bülent.
Preferred Shelf Number 
QA9 N34 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Word problems II the Oxford book
Word problems II the Oxford book
Author 
Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Undecidable theories
Undecidable theories
Author 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets