DOCUMENT
1/1
Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading and comparative interpretation
A generalization of Peano arithmetic to ground mathematics
History
Usage metrics
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC