Mathematical logic - Chiswell, Ian; Hodges, Wilfrid 1941- (Oxford Univ. Press, 2007)