The new edition of this text includes additional chapters on statements and proof, logical framework, and natural numbers and the integers. The updated chapters offer over 1000 tailored exercises, and an accompanying website contains hints and solutions to all exercises. The text is designed explicitly for mathematicians and computer scientists seeking a first approach to this important topic.