display all the ideas for this combination of texts
2 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |