On Undecidable Propositions of Formal Mathematical Systems (1934).

Publisher Website

1 March 1990

journal article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 55 (1), 347
https://doi.org/10.2307/2274986

Abstract

No abstract available

Keywords

Cited by 25 articles