This accessible textbook gives beginning undergraduate mathematics students a first exposure to introductory logic, proofs, sets, functions, number theory, relations, finite and infinite sets, and the foundations of analysis. The book provides students with a quick path to writing proofs and a practical collection of tools that they can use in later mathematics courses such as abstract algebra and analysis. The importance of the logical structure of a mathematical statement as a framework for finding a proof of that statement, and the proper use of variables, is an early and consistent theme used throughout the book.
Tamara J. Lakins Allegheny College, Meadville, PA.
Language, logic, and proof Techniques of proof Induction Sets Functions An introduction to number theory Equivalence relations and partitions Finite and infinite sets Foundations of analysis Writing mathematics Bibliography
Lakins' book is a nice, solid exposition of the tools students need as they transition to abstract mathematical thinking." - Michele Intermont, MAA Reviews