Godel, Kurt.

On formally undecidable propositions of principia mathematics and related systems. Translated by B.Meltzen. - London, Oliver & Boyd, 1962. - 72p.


Godel's theorem.

QA248 G573