Foundations of abstract mathematics - Kurtz, David C (McGraw-Hill, 1992)
Includes index.