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