A Tour through Mathematical Logic. - Beeson, Michael (American Mathematical Monthly, 2006)