Mathematical logic /
Chiswell, Ian,1948-
Hodges, Wilfrid.
London ; New York : Oxford University Press,
2007.
Includes index.
Logic, Symbolic and mathematical.