"ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974" - читать интересную книгу автора (J. Diller, G.H. Müller)