"Intuitionism and proof theory: Proceedings Buffalo, 1968" - читать интересную книгу автора (Lev D. Beklemishev)