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