The following pages link to George Boole's deductive system (Q1049691):
Displayed 3 items.
- Comments on a numerical method for solving Boolean equations (Q621643) (← links)
- Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic (Q6051651) (← links)
- <i>LINGUA CHARACTERICA</i> AND <i>CALCULUS RATIOCINATOR</i>: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC (Q6153158) (← links)