00542nam a2200181 a 450000500170000008200150001710000200003210000240005224500230007626000360009930000270013549000390016263000360020196400250023799700170026299900150027995200660029420251202164141.0  a511.3bEBB  aEbbinghaus, HD.  aFlum, J. Thomas, W.  aMathematical logic  aNew YorkbSpringer Verlagc1984  aix, 216 p.b22 cm.cHB  aUndergraduate texts in mathematics  aLogic, Symbolic and mathematics  bEngc100de010fg_  a2507 LIBSC C  c1306d1306  00104070aPUbPUd1998-04-08g72.00l0o511.3 EBBp2507yBK