On Formally Undecidable Propositions of Principia Mathematica and Related Systems

О формально неразрешимых предложениях Principia Mathematica и родственных систем

Курт Гёдель, 1992

PDF · 79 стр.