Boole's Method I. A Modern Version

Autor: Burris, Stanley, Sankappanavar, H. P.
Rok vydání: 2014
Předmět:
Druh dokumentu: Working Paper
Popis: A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.
Databáze: arXiv