01302nam0-22003851i-450-99000120510040332120061215120905.03-540-07533-X000120510FED01000120510(Aleph)000120510FED0100012051020001205d1975----km-y0itay50------baengISILC proof theory symposiumdedicated to Kurt Schutte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974Edited by J. Diller, G. H. Muller.BerlinSpringer-Verlagc1975.viii, 383 p.24 cmLecture Notes in Mathematics500In allegato e con uguale n. di inventario: An index and other useful information.Teoria della ricorsivita'Matematica intuitivaMatematici20. sec. - schutte k. - anniversari511.3Diller,J.Müller,Gert HeinzSchutte,KarlITUNINARICAUNIMARCBK990001205100403321C-20-(50017497MA1MA103F0303F55ISILC proof theory symposium343615UNINA