Call Number (LC) Title Results
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
QA9.65 .U53 1953 Undecidable theories 1
QA9.65 .U53 2021 Undecidability, uncomputability, and unpredictability / 1
QA9.67 Polynomial completeness in algebraic systems / 1
QA9.67 .B35 2009 Categoricity / 1
QA9.67 .K37 2001 Polynomial completeness in algebraic systems / 1
QA9.67 .K39 2007 The mathematics of logic : a guide to completeness theorems and their applications / 1
QA9.67 .P63 2008 Completeness theory for propositional logics / 1
QA9.67 .P64 2008eb Completeness theory for propositional logics /
Completeness theory for propositional logics 		2
QA9.67 .Z5513 1993 Uncountably categorical theories / 1