The Great Formal Machinery Works

DOI10.1515/9781400885039zbMath1380.03008OpenAlexW4243163299MaRDI QIDQ5348547

Jan von Plato

Publication date: 18 August 2017

Full work available at URL: https://doi.org/10.1515/9781400885039

zbMATH Keywords

history of logictheoretical computer science

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of computer science (68-03) General histories, source books (01A05) General topics in the theory of computing (68Q01)

Related Items (6)

Aristotle's prototype rule-based underlying logic ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus ⋮ Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION ⋮ INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

This page was built for publication: The Great Formal Machinery Works