Includes chapters on statements and proof, logical framework, and natural numbers and the integers. This edition also features over 1000 tailored exercises and an accompanying website containing hints and solutions to all exercises. It is suitable for mathematicians and computer scientists seeking a first approach to this topic.