TY - BOOK AU - CHISWELL (Ian) AU - HODGES (Wilfrid) TI - Mathematical logic SN - 9780199548743 U1 - 511.3 CHIM PY - 2007/// CY - New York PB - Oxford University Press KW - Mathematical KW - logic ER -