This book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. The book can be used at the late undergraduate or early graduate level. An undergraduate course would concentrate on Logic and Proof, Sets, functions, and their relations.