On formally undecidable propositions of Principia mathematica and related systems
Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite
Bok Engelsk 1992
Annen tittel | |
---|---|
Utgitt | New York : Dover Publications , 1992
|
Omfang | viii, 72 s.
|
Emner | |
ISBN | 0486669807
|