Logic, proof, and sets - Bittinger, Marvin L. (Addison-Wesley, 1982)