Вернуться к Подробностям о статье Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой. Скачать Скачать PDF