K. Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, translated by B. Meltzer with an Introduction by R. B. Braithawatte (Oliver and Boyd, 1962), viii + 72 pp., 12s. 6d.
Dicker, R. M.Volume:
13
Language:
english
Journal:
Proceedings of the Edinburgh Mathematical Society
DOI:
10.1017/s0013091500010920
Date:
June, 1963
File:
PDF, 141 KB
english, 1963