The new edition of this text
Includes:: additional chapters on statements & proof, logical framework, & natural numbers & the integers. The updated chapters offer over 1000 tailored exercises, & an accompanying website contains hints & solutions to all exercises.