Bridge to abstract mathematics mathematical proof and structures - Morash, Ronald P. (Random House, 1987)