Logic, proof, and set theory

by Marvin L. Bittinger

Introduction to logic, sets and proofs.