Return to Article Details Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой. Download Download PDF