A Logical Introduction to Proof by Daniel W. Cunningham
English | 2013 | ISBN: 1461436303 | 371 pages | PDF | 4,3 MB
A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or “bridge” course between calculus and advanced mathematics courses. The author’s approach prepares the student for the rigors required in future mathematics courses and is appropriate for majors in mathematics, computer science, engineering, as well as other applied mathematical sciences.