Submitted by David A. Cox on Wednesday, 9/2/2009, at 2:47 PM Background on Logic, Sets and Proofs logicsets.pdf