Logic, proof, and sets
by
Marvin L. Bittinger
Introduction to logic, sets and proofs.