Gödel

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

Roman Murawski (auth.)

Computability and logic

George S. Boolos,John P. Burgess,Richard C. Jeffrey

Computability and Logic Boolos

Computability and Logic, 5th Edition

George S. Boolos,John P. Burgess,Richard C. Jeffrey

The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory

Kurt Gödel

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Godel

I. Grattan-Guinness

An Introduction to Gödel's Theorems

Peter Smith

Journey to the Edge of Reason: The Life of Kurt Gödel

Stephen Budiansky

From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

Jean Van Heijenoort (editor)

Incompleteness - The Proof and Paradox of Kurt Godel

Rebecca Goldstein