"Intuitionism and Proof Theory: Conference Proceedings " - читать интересную книгу автора (A. Kino)