Publication:5275447
From MaRDI portal
zbMath1366.03006MaRDI QIDQ5275447
Publication date: 14 July 2017
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03B10: Classical first-order logic
03-03: History of mathematical logic and foundations
Related Items
Sixty years after Gödel, Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought, From Dedekind to Zermelo versus Peano to Gödel, Tarski on logical consequences, Jean van Heijenoort's conception of modern logic, in historical perspective, \textit{Begriffsschrift}'s logic, Reconciling First-Order Logic to Algebra