LEADER 01325nam  2200361   450 
001 000014889
005 20050718115600.0
100   $a20030709d1970----km-y0itay0103----ba
101 0 $aeng$afre
102   $aDE
200 1 $aSymposium on Automatic Demonstration$fedited by M. Laudet ... [et al.]
210   $aBerlin [etc.]$cSpringer$d1970
215   $a310 p.$d26 cm.
225 2 $aLecture notes in mathematics$v125
410  0$12001$aLecture notes in mathematics
606   $aTeoria della dimostrazione$xCongressi
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03Fxx$9Mathematical logic and foundations. Proof theory and constructive mathematics
702  1$aLaudet,$bM.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000014889
996   $aSymposium on Automatic Demonstration$980496
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030709$lBAS01$h1124
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1141
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$61931$5S1931$820030709$f51$FRiservati