00449nam a2200193Ia 4500003000400000005001700004008004000021020001800061040000700079041000800086082001500094100001700109245002300126260004500149300001500194650001700209650001000226700001900236OSt20250816101342.0210210b2007   xxu||||| |||| 00| 0 eng d  a9780199548743  cAL  aeng  a511.3 CHIM  aChiswell Ian  aMathematical logic  aNew YorkbOxford  University Pressc2007  aviii, 249p  aMathematical  alogic  aHodges Wilfrid