"Клини,Весли;_Основания_интуиционистской_математики,1978.pdf" - читать интересную книгу автора