The Foundations of Mathematics provides a careful introduction to proofs in mathematics, along with basic concepts of logic, set theory and other broadly used areas of mathematics.  The concepts are introduced in a pedagogically effective manner without compromising mathematical accuracy and completeness.  Thus, in Part I students explore concepts before they use them in proofs.  The exercises range from reading comprehension questions and many standard exercises to proving more challenging statements, formulating conjectures and critiquing a variety of false and questionable proofs.  The discussion of metamathematics, including Gödel’s Theorems, and philosophy of mathematics provides an unusual and valuable addition compared to other similar texts

Thomas Q. Sibley is Professor of Mathematics at St. John's University in Collegeville, Minnesota.