00589nam a2200205Ia 4500008004100000020001800041040001300059082001400072100001800086245005600104260004800160300002200208500001900230650001000249650003700259700002000296990003700316991001100353999001900364191130s2008##################000#0#eng##  a9780199548743  aACLcACL  a511.3 CHI  aChiswell, Ian  aMathematical logiccIan Chiswell and Wilfrid Hodges  aCambridgebCambridge Univeristy Pressc2008  avii, 250 p. : ill  aIncludes index  aLogic  aLogic, Symbolic and mathematical  aHodges, Wilfrid  a948defd3ac10000c4187a17d468a001c  a103650  c378830d378830