Logic, proof and sets - Bittinger, Marvin L. (Reading, Mass. : Addison-Wesley, 1982)
1
Keywords: Logic, Symbolic and mathematical