The Completion of the Emergence of Modern Logic from Boole’s The Mathematical Analysis of Logic to Frege’s Begriffsschrift

DOI10.1007/978-3-642-18026-2_10zbMath1303.03003OpenAlexW1652051049MaRDI QIDQ3063974

Publication date: 17 December 2010

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18026-2_10

zbMATH Keywords

Frege conditional propositional calculus quantifiers axioms modus ponens Boole function and argument

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

This page was built for publication: The Completion of the Emergence of Modern Logic from Boole’s The Mathematical Analysis of Logic to Frege’s Begriffsschrift