Mathematical logic - Chiswell, Ian , 1948-; Hodges, Wilfrid (Oxford texts in logic, 2007)