The Mathematics of Truth and Proof - John Stillwell (Taylor and Francis, 2010)