|
|
(view preamble)
There are 28 references to this entry.
This is version 6 of Boolean, born on 2001-10-26, modified 2004-03-20.
Object id is 543, canonical name is Boolean.
Accessed 4058 times total.
Classification:
| AMS MSC: | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|