ogic by Wilfrid Hodges. Logic for Computers Western civilization mostly survived on syllogisms and stoic logic for nearly two thousand years before George Boole devised his theory of binary logic in 1847. Boole developed an elegant mathematical system for representing logical statements that allowed simple ar