On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
-
nidottu
,
Englanti, 2003