Publication

Short single axioms for boolean algebra.

Authors

McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Lawrence