LEADER 01302nam0-22003851i-450-
001 990001205100403321
005 20061215120905.0
010   $a3-540-07533-X
035   $a000120510
035   $aFED01000120510
035   $a(Aleph)000120510FED01
035   $a000120510
100   $a20001205d1975----km-y0itay50------ba
101 0 $aeng
200 1 $aISILC proof theory symposium$ededicated to Kurt Schutte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974$fEdited by J. Diller, G. H. Muller.
210   $aBerlin$cSpringer-Verlag$dc1975.
215   $aviii, 383 p.$d24 cm
225 1 $aLecture Notes in Mathematics$v500
300   $aIn allegato e con uguale n. di inventario: An index and other useful information.
610 0 $aTeoria della ricorsivita'
610 0 $aMatematica intuitiva
610 0 $aMatematici$a20. sec. - schutte k. - anniversari
676   $a511.3
702  1$aDiller,$bJ.
702  1$aMüller,$bGert Heinz
702  1$aSchutte,$bKarl
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001205100403321
952   $aC-20-(500$b17497$fMA1
959   $aMA1
962   $a03F03
962   $a03F55
996   $aISILC proof theory symposium$9343615
997   $aUNINA