Publication:4233564
From MaRDI portal
zbMath0918.03001MaRDI QIDQ4233564
Publication date: 17 August 1999
consistencyfirst-order logicpropositional logichigher-order logicHilbertaxiom of reducibilitylogicismsoundnessmetalogicPost-completenessPostBernaysHilbert's unpublished 1917 lectures on logic
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
Related Items
Hilbert, logicism, and mathematical existence, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's conception of modern logic, in historical perspective, Completeness: from Husserl to Carnap