LEADER 01133nam a2200313 i 4500
001 991000798309707536
005 20020507173729.0
008 970625s1977    ne            ||| | eng  
020   $a0720428440
035   $ab10758768-39ule_inst
035   $aLE01302486$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-01
100 1 $aBell, J.S.$0463984
245 12$aA course in mathematical logic /$cby J. L. Bell and M. Machover
260   $aAmsterdam :$bNorth-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier,$c1977
300   $axviii, 599 p. ;$c23 cm.
500   $aIncludes indexes.
500   $aBibliography: p. [576]-583
650  4$aMathematical logic-textbooks
650  4$aSymbolic logic
700 1 $aMachover, Moshé
907   $a.b10758768$b02-04-14$c28-06-02
912   $a991000798309707536
945   $aLE013 03-XX BEL11 (1977)$g1$i2013000086705$lle013$o-$pE0.00$q-$rn$so  $t1$u1$v0$w1$x0$y.i10853704$z28-06-02
996   $aCourse in mathematical logic$9922938
997   $aUNISALENTO
998   $ale013$b01-01-97$cm$da  $e-$feng$gne $h2$i1