Sciweavers

JAR
2002

Short Single Axioms for Boolean Algebra

13 years 11 months ago
Short Single Axioms for Boolean Algebra
William McCune, Robert Veroff, Branden Fitelson, K
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JAR
Authors William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
Comments (0)