User:Lord Farin/Long-Term Projects/Givant-Halmos

= Processing of 'Introduction to Boolean Algebras' =


 * : $\S 1$: Definition $1.1$


 * : $\S 1$: Definition $1.1$

First page it covers: Integer Addition is Associative.

First page covered by Appendices: Definition:Set.

A book dedicated to boolean algebras. BAs crop up so frequently that I deemed it inevitable to cover them without delay (having grinded to a halt on two other projects because of this void).

Progress thus far
Initial set-up complete. --Lord_Farin 20:10, 7 August 2012 (UTC)

Skipped thus far (that is, what needs to be done still)

 * The proof of the Cantor-Bernstein-Schroeder Theorem given in Appendix A.