Драгалин А. Г. Конструктивная теория доказательств и нестандартный анализ / Драгалин Альберт Григорьевич; ответственный редактор Г. Е. Минц; биографическая статья С. Н. Артемова, Б. А. Кушнер, Е. Ю. Ногина [и др.]. - Москва: УРСС, 2003. - 544 с. - Имен. указ.: с. 526. - Предм. указ.: с. 530. - ISBN 5-354-00387-3.Отраслевые рубрики: математика; математическая логика Ключевые слова: аксиоматическая теория множеств, алгебраические модели, арифметика, Бета-Крипке модели, доказательства, интуиционистская логика предикатов, интуиционистский анализ, исчисление секвенций, конструктивная теория доказательств, логика, логика высказываний, логика предикатов, математический интуиционизм, принцип конструктивного подбора, рекурсивная реализуемость, семантика де Йонга, теория доказательств Персоналии: Драгалин Альберт Григорьевич
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 | чит. зал | 1 | 1 | 0 |
|