"The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39) " - читать интересную книгу автора (Stephen Cole Kleene, Richard Eugène Vesley)