This undergraduate text teaches students what constitutes an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. 1990 edition.