On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

If you liked On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel,
here are some books like this: