An Introduction to Abstract Mathematics, Third Edition - Keith Devlin (Taylor and Francis, 2003)