1 Boolean algebra A Complete Proof of the Robbins Conjecture
Download:
by Allen L. Mann
http://ucsu.colorado.edu/~almann/MA/robbins_complete.pdf
Add To MetaCart
Abstract:
The language of Boolean algebra consists of two binary function symbols ∪ and ∩, one unary
Citations
| 105 | Solution of the Robbins Problem – McCune - 1997 |
| 19 | New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica – Huntington - 1933 |
| 13 | Boolean algebra. A correction – Huntington - 1933 |
| 13 | General Theory of Boolean Algebras, volume 1 of Handbook on Boolean Algebras – Koppelberg - 1989 |
| 12 | Absorption and idempotency criteria for a problem in near-Boolean algebras – Winker - 1992 |
| 1 | Solving open questions in mathematics with an automated theorem-proving program – Wos - 1981 |
