Logic, set theory, and mathematical induction play essential roles in modern
mathematics and computer science. Logic, Sets, and Recursion, Second Edition
provides students with the tools needed to master these important concepts. This
text paves the way for students preparing to enter more advanced math, computer
science, and logic courses, furnishing them with the experience necessary 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 new Second
Edition incorporates a wealth of exercise sets, allowing students to test
themselves and review