LEADER 01138nam--2200313---4500
001 990001077280203316
005 20020507124855.0
035   $a000107728
035   $aUSA01000107728
035   $a(ALEPH)000107728USA01
035   $a000107728
100   $a20020507d1975----km-y0ENGy0103----ba
101   $Aeng
102   $aDE
200 1 $aISILC Proof Theory Symposium$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 and G.H. Muller
210   $aBerlin$cSpringer verlag$d1975
215   $aVIII, 383 p.$cill.$d24 cm
225 2 $aLecture notes in mathematics$v500
410   $12001$aLecture notes in mathematics$v500
710 11$AInternational Summer Institute and Logic Colloquium <Kiel, 1974>$00
801  0$aIT$bsalbc$gISBD
912   $a990001077280203316
951   $a510 LNM 500$b748$c510$D00108574
959   $aBK
969   $aSCI
979   $aALESSANDRA$b90$c20020507$lUSA01$h1248
979   $aPATRY$b90$c20040406$lUSA01$h1715
996   $aISILC proof theory symposium$9343615
997   $aUNISA