LEADER 01427nam  2200385   450 
001 000015504
005 20050718115600.0
010   $a3-540-07911-4
100   $a20030728d1977----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aProof theory$fKurt Schutte$gtranslation from the German by J. N. Crossley
210   $aBerlin [etc.]$cSpringer$d1977
215   $aXII, 302 p.$d25 cm.
225 2 $aGrundlehren der mathematischen Wissenschaften$v225
410  0$12001$aGrundlehren der mathematischen Wissenschaften
606   $aTeoria della dimostrazione
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03F03$9Mathematical logic and foundations. Proof theory and constructive mathematics. Proof theory, general
700  1$aSchutte,$bKurt$0346092
702  1$aCrossley,$bJ. N.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000015504
996   $aBeweistheorie$934430
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030728$lBAS01$h1709
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$662616$5S62616$820030728$f51$FRiservati