Bittinger, Marvin L.: Logic, proof, and sets. Reading : Addison-Wesley, 1982