![](/img/cover-not-exists.png)
Short Single Axioms for Boolean Algebra
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry WosVolume:
29
Year:
2002
Language:
english
Pages:
16
DOI:
10.1023/a:1020542009983
File:
PDF, 103 KB
english, 2002