Pages that link to "Item:Q1267397"
From MaRDI portal
The following pages link to Hilbert's logic. From axiomatics to proof theory (Q1267397):
Displaying 13 items.
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- Internal logic. Foundations of mathematics from Kronecker to Hilbert (Q1396583) (← links)
- Hilbert on different notions of completeness: a conceptual and historical analysis (Q2866439) (← links)
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 (Q3445908) (← links)
- Hilbert's Programs: 1917–1922 (Q4254642) (← links)
- (Q4324697) (← links)
- (Q4835584) (← links)
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735) (← links)
- On Hilbert's Axiomatics of Propositional Logic (Q5169377) (← links)
- The Ways of Hilbert's Axiomatics: Structural and Formal (Q5169378) (← links)
- HILBERT, BOURBAKI AND THE SCORNING OF LOGIC (Q5178529) (← links)
- Abstraction, Axiomatization and Rigor: Pasch and Hilbert (Q5214682) (← links)
- Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic (Q5251188) (← links)