Incompleteness

Computability and Logic Boolos

Computability and Logic, 5th Edition

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

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

An Introduction to Gödel's Theorems

Peter Smith

Metamathematics of First-Order Arithmetic

Petr Hajek,Pavel Pudlak

Incompleteness - The Proof and Paradox of Kurt Godel

Rebecca Goldstein