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