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 |
Externí odkaz: |