Hilbert's logic. From axiomatics to proof theory
From MaRDI portal
(Redirected from Publication:1267397)
Recommendations
Cites work
- scientific article; zbMATH DE number 3127930 (Why is no real title available?)
- scientific article; zbMATH DE number 4087620 (Why is no real title available?)
- scientific article; zbMATH DE number 48580 (Why is no real title available?)
- scientific article; zbMATH DE number 48347 (Why is no real title available?)
- scientific article; zbMATH DE number 3531332 (Why is no real title available?)
- scientific article; zbMATH DE number 1066668 (Why is no real title available?)
- scientific article; zbMATH DE number 221857 (Why is no real title available?)
- scientific article; zbMATH DE number 3013302 (Why is no real title available?)
- scientific article; zbMATH DE number 256202 (Why is no real title available?)
- scientific article; zbMATH DE number 3251353 (Why is no real title available?)
- scientific article; zbMATH DE number 3305784 (Why is no real title available?)
- scientific article; zbMATH DE number 3341104 (Why is no real title available?)
- scientific article; zbMATH DE number 3368599 (Why is no real title available?)
- scientific article; zbMATH DE number 3019893 (Why is no real title available?)
- scientific article; zbMATH DE number 3032487 (Why is no real title available?)
- Burali-Forti's paradox: A reappraisal of its origins
- David Hilbert and his mathematical work
- Die Widerspruchsfreiheit der klassischen Analysis
- Hilbert's \(\varepsilon{}\)-operator and classical logic
- Hilbert's ϵ‐operator in intuitionistic type theories
- Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
- The consistency of arithmetics
- Zermelo's discovery of the Russell paradox
- ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen
Cited in
(23)- Hilbert on different notions of completeness: a conceptual and historical analysis
- Hilbert's Programs: 1917–1922
- scientific article; zbMATH DE number 727992 (Why is no real title available?)
- scientific article; zbMATH DE number 761255 (Why is no real title available?)
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- The ways of Hilbert's axiomatics: structural and formal
- The ways of Hilbert's axiomatics: structural and formal
- Hilbert, logicism, and mathematical existence
- scientific article; zbMATH DE number 1867334 (Why is no real title available?)
- On Hilbert's axiomatics of propositional logic
- scientific article; zbMATH DE number 4125355 (Why is no real title available?)
- The importance and neglect of conceptual analysis: Hilbert-Ackermann iii.3
- scientific article; zbMATH DE number 1779555 (Why is no real title available?)
- Hilbert
- scientific article; zbMATH DE number 2216773 (Why is no real title available?)
- HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
- Abstraction, Axiomatization and Rigor: Pasch and Hilbert
- Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
- Internal logic. Foundations of mathematics from Kronecker to Hilbert
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- Axiomatic thinking I
- David Hilbert's axiomatic program and critical philosophy
- Hilbert, duality, and the geometrical roots of model theory
This page was built for publication: Hilbert's logic. From axiomatics to proof theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267397)
