George Boole's deductive system
From MaRDI portal
Publication:1049691
DOI10.1215/00294527-2009-013zbMath1186.03001OpenAlexW2014988898MaRDI QIDQ1049691
Publication date: 13 January 2010
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2009-013
History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (3)
Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic ⋮ Comments on a numerical method for solving Boolean equations ⋮ LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
This page was built for publication: George Boole's deductive system
