LEADER 01052nam--2200373---450-
001 990001210970203316
005 20031021170912.0
010   $a0-12-058535-9
035   $a000121097
035   $aUSA01000121097
035   $a(ALEPH)000121097USA01
035   $a000121097
100   $a20031021d1986----km-y0itay0103----ba
101 0 $aeng
102   $aUS
105   $a||||||||001yy
200 1 $aAn introduction to mathematical logic and type theory$eto truth through proof
210   $aOrlando$cAcademic Press$d1986
410  0$12001
454  1$12001
461  1$1001-------$12001
606 0 $aLogica matematica
606 0 $aLogica simbolica
676   $a511.3
700  1$aANDREWS,$bPeter B.$044359
801  0$aIT$bsalbc$gISBD
912   $a990001210970203316
951   $a511.3 AND$b6266 Ing$c511.3
959   $aBK
969   $aTEC
979   $aSIAV2$b10$c20031021$lUSA01$h1709
979   $aPATRY$b90$c20040406$lUSA01$h1727
996   $aAn introduction to mathematical logic and type theory$9984361
997   $aUNISA