Call Number (LC) Title Results
QA9.65 .F73 2005 Gödel's theorem : an incomplete guide to its use and abuse / 1
QA9.65 .F73 2005eb Gödel's theorem : an incomplete guide to its use and abuse / 1
QA9.65.F73 2017 Gödel's Theorem : An Incomplete Guide to Its Use and Abuse. 1
QA9.65 .G46 1984 Godel's theorem simplified / 1
QA9.65 .G63 1989eb Godel's Theorem in Focus. 1
QA9.65 .H35 2020 Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics / 1
QA9.65 .I58 1991 First International Symposium on Gödel's Theorems : Paris, 27-29 May, 1991 / 1
QA9.65 .K46 2022 Gödel's incompleteness theorems / 1
QA9.65 .K65 Komplexität von Entscheidungsproblemen : ein Seminar / 1
QA9.65 .K87 2011 Kurt Gödel and the foundations of mathematics : horizons of truth / 1
QA9.65 .K87 2011eb Kurt Gödel and the foundations of mathematics : horizons of truth /
Kurt Gödel and the foundations of mathematics : horizons of truth / 		2
QA9.65 .L56 1997 Aspects of incompleteness / 1
QA9.65 .N34 2001 Gödel's proof / 1
QA9.65 .N34 2005 Go?del's proof 1
QA9.65 .N34 2005eb Gödel's proof / 1
QA9.65 .S53 1994 Metamathematics, machines, and Gödel's proof /
Metamathematics, Machines and Gdel's Proof / 		2
QA9.65 .S65 2007 An introduction to Gödel's Theorems / 1
QA9.65 .S65 2008eb An introduction to Gödel's theorems / 1
QA9.65 .S65 2013x An introduction to Gödel's theorems / 1
QA9.65 -- T53 2013eb Language and godels theorem : a revised edition. 1