Back to Search Start Over

Norwood Russell Hanson. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 (1961), pp. 94–110

Authors :
Alonzo Church
Source :
Journal of Symbolic Logic. 27:471-472
Publication Year :
1962
Publisher :
Cambridge University Press (CUP), 1962.

Subjects

Subjects :
Philosophy
Logic
Computer science
business.industry
Artificial intelligence
Gödel's incompleteness theorems
business
Mathematical economics
Exposition (narrative)

Details

ISSN :
19435886 and 00224812
Volume :
27
Database :
OpenAIRE
Journal :
Journal of Symbolic Logic
Accession number :
edsair.doi...........266d2e59324c80c1034eea649644cc56

Tools

Authors Abstract Subjects Details