Mathematical logic - Chiswell, Ian 1948- (Oxford University Press, 2007)
Includes index