Back to Search Start Over

A note on on the Gödel theorem

Authors :
Norwood Russell Hanson
Source :
Notre Dame J. Formal Logic 2, no. 4 (1961), 228
Publication Year :
1961
Publisher :
Duke University Press, 1961.

Subjects

Subjects :
Mathematical logic
Model theory
Algebra
Logic
Diagonal lemma
Compactness theorem
Gödel's completeness theorem
Gödel's incompleteness theorems
Proof sketch for Gödel's first incompleteness theorem
Original proof of Gödel's completeness theorem
Mathematics

Details

Language :
English
Database :
OpenAIRE
Journal :
Notre Dame J. Formal Logic 2, no. 4 (1961), 228
Accession number :
edsair.doi.dedup.....798bc437971d282cd4c8abe4ab1fec50

Tools

Authors Abstract Subjects Details