Pages that link to "Item:Q4940735"
From MaRDI portal
The following pages link to Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735):
Displaying 15 items.
- Local axioms in disguise: Hilbert on Minkowski diagrams (Q375285) (← links)
- Coherence for modalities (Q531368) (← links)
- Towards completeness: Husserl on theories of manifolds 1890--1901 (Q885542) (← links)
- Completeness: from Husserl to Carnap (Q2169125) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- Bernays and Set Theory (Q3616429) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Between Russell and Hilbert: Behmann on the Foundations of Mathematics (Q4940734) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- GÖDEL’S NOTRE DAME COURSE (Q5283448) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- THE GENEALOGY OF ‘’ (Q6051426) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
