Logic, proot, and sets - Marvin L. Bittinger (Addison-Wesley Publishing Co.)