01138nam--2200313---450099000107728020331620020507124855.0000107728USA01000107728(ALEPH)000107728USA0100010772820020507d1975----km-y0ENGy0103----baengDEISILC Proof Theory Symposiumdedicated to Kurt Schutte on the occasion of his 65th birthdayproceedings of the International Summer Institute and Logic Colloquium, Kiel 1974edited by J. Diller and G.H. MullerBerlinSpringer verlag1975VIII, 383 p.ill.24 cmLecture notes in mathematics5002001Lecture notes in mathematics500International Summer Institute and Logic Colloquium <Kiel, 1974>0ITsalbcISBD990001077280203316510 LNM 50074851000108574BKSCIALESSANDRA9020020507USA011248PATRY9020040406USA011715ISILC proof theory symposium343615UNISA