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