"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)" - читать интересную книгу автора (A. S. Troelstra (Editor))