Publisher's Synopsis
Text for a course with the primary purpose of teaching students to do mathematical proofs. Proof is taught "syntactically". A student with the ability to write computer programs can learn to do straightforward proofs using the method provided. The approach leads to proofs of routine problems, and to