This much-awaited new edition of Biggs' best-selling text includes new chapters on statements and proof, logical framework, and natural numbers and the integers, in addition to updated chapters, over 1000 tailored exercises and an accompanying website containing hints and solutions to all exercises. The text is designed explicitly for mathematicians and computer scientists seeking a first approach to this important topic.