LEADER 01158nam a2200337 i 4500
001 991001020619707536
005 20020507181755.0
008 931106s1986    us            ||| | eng  
020   $a0120585367
035   $ab10790056-39ule_inst
035   $aLE01305846$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-01
084   $aAMS 03-XX
084   $aAMS 03B
084   $aQA9.A638
100 1 $aAndrews, Peter B.$044359
245 13$aAn introduction to mathematical logic and type theory :$bto truth through proof /$cPeter B. Andrews
260   $aOrlando :$bAcademic Press,$c1986
300   $axv, 304 p. ;$c23 cm.
490 0 $aComputer science and applied mathematics
650  4$aMathematical logic
650  4$aSymbolic logic
650  4$aType theory
907   $a.b10790056$b23-02-17$c28-06-02
912   $a991001020619707536
945   $aLE013 03-XX AND11 (1986)$g1$i2013000073279$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10890567$z28-06-02
996   $aIntroduction to mathematical logic and type theory$9338324
997   $aUNISALENTO
998   $ale013$b01-01-93$cm$da  $e-$feng$gus $h3$i1