The amount of stuff in this short book is amazing. It is a great summary of logic - takes you right up to Godel's theorems....