Logic, set theory, and mathematical induction play essential roles in modern mathematics and computer science. This book is intended to fill the gap between rigorous, advanced mathematical logic texts and "discrete mathematics" texts that do not treat logic with the depth and rigor required in modern computer science. It will prepare students for advanced courses in mathematics, computer science, logic and its applications.