Logic, Sets and Recursion

Logic, Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level. This text paves the way for students preparing to enter more advanced math courses, furnishing them with the experience to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and discrete mathematics texts that do not treat logic with the depth required in modern computer science. The Second Edition has incorporated a wealth of exercise sets to aid in students' retention and understanding of material presented in the text.