Pr1085 Pr1085/1997-8 Pr1085/1997-8 / Pr1085/1997-8-02 ВМИ Coquand, Thierr. Intuitionistic choice and classical logic : сборник / T. Coquand, E. Palmgren. - Goteborg : [s. n.], 1997. - 17 p. - (Preprint / Chalmers university of technology and the University of Goteborg. Department of mathematic, ISSN 0347-2809 ; n 1997-8) Bibliogr.: p. 16-17 Рубрики: Интуиционистская математика Математическая логика Кл.слова (ненормированные): интуционистский выбор Дескрипторы: сб пр -- моногр Доп.точки доступа: Palmgren, Erik Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |