Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах. https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0
- Марков А. А. Избранные труды. — М.: Изд-во МЦНМО, 2003. — Т. II. Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы. — 626 с. — ISBN 5-94057-113-1. (см. ISBN )
- Марков А. А., Нагорный Н. М. Теория алгорифмов. — 2-е изд.. — М.: ФАЗИС, 1996. (см. ISBN )
- Нагорный Н. М. Абстракция актуальной бесконечности, Абстракция отождествления, Абстракция потенциальной осуществимости // Математическая энциклопедия / И. М. Виноградов (гл. ред.). — М.: Советская энциклопедия, 1977. — Т. 1. — С. 43, 44. — 576 с. — 150 000 экз. (см. ISBN )
- Кушнер Б. А. Лекции по конструктивному математическому анализу. — М.: Наука, 1973. — 447 с. (см. ISBN )
- Кушнер Б. А. Конструктивная математика, Математическая энциклопедия. — М.: Советская энциклопедия, 1979. — Т. 2. — 1042 с. (см. ISBN )
- Кондаков Н. И. Логический словарь-справочник. — М.: Наука, 1975. — 259 с. (см. ISBN )
- Рузавин Г. И. О природе математического знания. — М.: Мысль, 1968. — 302 с. (см. ISBN )
- Акимов О. Е. Дискретная математика: логика, группы, графы. — 2-е изд. — М.: «Лаборатория Базовых Знаний», 2003. — 376 с. (см. ISBN )
- Страница 0 - краткая статья
- Страница 1 - энциклопедическая статья
- Разное - на страницах: 2 , 3 , 4 , 5
- Прошу вносить вашу информацию в «Конструктивная математика 1», чтобы сохранить ее