An Introduction To Godel's Theorems by Peter Smith & Wilber Smith