Foundations of abstract mathematics - Kurtz, David (McGraw-Hill, 1992)