IBUKI has collected togethered and indexed electronic (mostly PDF) editions of primary sources, books, articles and study guides for history, science and literature.
Works of George Boole
- Die Philosophie der Mathematik und die Hilbertsche Beweistheorie
Bl[uu]atter f[uu] deutsche Philosophie, vol. 4 (1930-31), pp. 365-337
reprinted |mancosu1998from| pp. 234-265.
- Abhandlungen zur philosophie der mathematik
Darmstadt: Wissenschaftliche Buchgesellschaft, 1976
|