LEADER 00790nam  2200241   450 
001 000011205
005 20050718115400.0
010   $a0-7204-28440
100   $a20020719d1977----km-y0itay0103----ba
101 0 $aeng
102   $aNL
200 1 $a<<A>> course in mathematical logic$fby J. L. Bell and M. Machover
210   $aAmsterdam [etc.]$cNorth-Holland$d1977
215   $aXVIII, 599 p.$d23 cm.
606   $aLogica matematica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
691   $a03-XX$9Mathematical logic and foundations
700  1$aBell,$bJohn Lane$0119420
701  1$aMachover,$bMoshé$0422979
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011205
996   $aCourse in mathematical logic$979073
997   $aUNIBAS