"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis" - читать интересную книгу автора (Anne S. Troelstra)