LEADER 01265nam0-22003731i-450-
001 990000984430403321
005 20070117103856.0
010   $a3-540-07533-X
035   $a000098443
035   $aFED01000098443
035   $a(Aleph)000098443FED01
035   $a000098443
100   $a20001205d1975----km-y0itay50------ba
101 0 $aeng
102   $aDE
200 1 $aISILC proof theory symposion$ededicated to Kurt Schütte 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. Müller ... [et al.]
210   $aBerlin ; New York$cSpringer-Verlag$d1975
215   $aVI, 383 p.$d24 cm
225 1 $aLecture notes in mathematics$v500
610 0 $aLogica
610 0 $aRicorsività
676   $a160
702  1$aDiller,$bJustus
702  1$aMüller,$bGert Heinz
702  1$aSchütte,$bKurt
710 12$aISILC proof theory symposion$f<1974 ;$eKiel>$0426606
712 12$aInternational summer institute and logic colloquium$f<1974 ;$eKiel>
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000984430403321
952   $a7-218$b11216$fFI1
959   $aFI1
996   $aISILC proof theory symposion$9353520
997   $aUNINA