TY - BOOK AU - Chiswell, Ian. AU - Hodges, Wilfrid. TI - Mathematical Logic SN - 9780199215621 U1 - 511.3 PY - 2007/// CY - Oxford (U.K) PB - Oxford University Press KW -  Logic, Symbolic and mathematical ER -