LEADER 01792nam  2200433   450 
001 000014687
005 20050718115500.0
010   $a3-540-07533-X
100   $a20030702d1975----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aISILC proof theory symposion$ededicated to Kurt Schutte on the occasion of his 65th birthday$eproceedings of the International Summer Institute and logic colloquium, Kiel 1974$fedited by J. Diller, G. H. Muller
210   $aBerlin [etc.]$cSpringer$d1975
215   $aVIII, 383 p.$d25 cm.
225 2 $aLecture notes in mathematics$v500
312   $aTit. della cop. e sul dorso: Proof theory symposion Kiel 1974
410  0$12001$aLecture notes in mathematics
517 1 $aProof theory symposion Kiel 1974
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$aDiller,$bJ.
702  1$aMuller,$bGert H.
710 12$aInternational summer institute and logic colloquium$f<1974$e; Kiel>$0297938
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000014687
996   $aISILC proof theory symposion$980640
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030702$lBAS01$h1152
CAT   $aEXT003$b01$c20030702$lBAS01$h1204
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1141
CAT   $c20050718$lBAS01$h1155
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$631703$5S31703$820030702$f51$FRiservati