Die Grundlegung der elementaren Zahlenlehre
From MaRDI portal
Publication:1565127
DOI10.1007/BF01457953zbMath0001.26001OpenAlexW4234802835MaRDI QIDQ1565127
No author found.
Publication date: 1931
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159480
Related Items (12)
Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933 ⋮ Some observations on the concepts of \(\omega\)-consistency and \(\omega\)-completeness. ⋮ Gentzen's Proof Systems: Byproducts in a Work of Genius ⋮ Hilbert's program and the omega-rule ⋮ Different senses of finitude: an inquiry into Hilbert's finitism ⋮ Gentzen's Proof of Normalization for Natural Deduction ⋮ Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Extensions of the Finitist Point of View ⋮ Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Dedekind's analysis of number: Systems and axioms ⋮ Historical Face of Number Theory(ists) at the Turn of the 19th Century
This page was built for publication: Die Grundlegung der elementaren Zahlenlehre
