Books

Books : reviews

Kurt Godel.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems.
Dover. 1962