00371nam a2200133 a 450000500170000008200150001710000200003210000240005224500230007626000360009930000270013549000390016263000360020120251202164141.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