00613nam a2200205Ia 4500008004100000020001800041022001500059040001300074082001400087100001800101245005600119260004200175300004700217500001900264650003700283700002000320990003700340991001100377999001900388191130s2007##################000#0#eng##  a9780199215621  a2006103200  aACLcACL  a511.3 CHI  aChiswell, Ian  aMathematical logiccIan Chiswell and Wilfrid Hodges  aOxfordbOxford University Pressc2007  aviii, 250 p. : ill. ; 25 cm., : alk. paper  aIncludes index  aLogic, Symbolic and mathematical  aHodges, Wilfrid  a8fe7ffddac10000c19beeff47e11a7d8  a102817  c378831d378831