: The revised edition added critical sections on logical frameworks, statements and proof, and natural numbers.