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