"ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics) " - читать интересную книгу автора (J. Diller, G.H. Müller)