1978, изд-во: Наука., город: Москва., стр. : 272 стр., обложка: Твердый издательский переплет с суперобложкой, формат: Обычный, состояние: Отличное у книги, хорошее у суперобложки. . В этой книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению средствами развиваемой в книге формальной системы брауэровской теории континуума.
Цена: 500 руб.
#15615253, код: кра41883
