Pages that link to "Item:Q1565127"
From MaRDI portal
The following pages link to Die Grundlegung der elementaren Zahlenlehre (Q1565127):
Displaying 11 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- Dedekind's analysis of number: Systems and axioms (Q813419) (← links)
- Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933 (Q2363510) (← links)
- Some observations on the concepts of \(\omega\)-consistency and \(\omega\)-completeness. (Q2621425) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- Gentzen's Proof of Normalization for Natural Deduction (Q3503742) (← links)
- Hilbert's program and the omega-rule (Q4292612) (← links)
- Extensions of the Finitist Point of View (Q4706119) (← links)
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit (Q4753169) (← links)
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891) (← links)
- Historical Face of Number Theory(ists) at the Turn of the 19th Century (Q5272915) (← links)
