scientific article; zbMATH DE number 2108953
From MaRDI portal
Publication:4821597
zbMath1105.03002MaRDI QIDQ4821597
Publication date: 20 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Basic properties of first-order languages and structures (03C07)
Related Items
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator ⋮ FINITE RELATION ALGEBRAS ⋮ LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC ⋮ Guest editor's introduction: JvH100 ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics ⋮ PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC ⋮ Andrzej Mostowski and the Notion of a Model ⋮ A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper ⋮ Update to ``A survey of abstract algebraic logic ⋮ Peirce’s Sequent Proofs of Distributivity ⋮ Hilbert, logicism, and mathematical existence
