Foundations of abstract mathematics - Kurtz, David (New York McGraw-Hill, 1992)
Keywords: Logic, Symbolic and mathematical; Mathematics