Introduction to Abstract Mathematics - Bick T.A.