display all the ideas for this combination of texts
3 ideas
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |