Конструктивная математика: различия между версиями

== Литература ==

* {{книга|автор = {{nobr|[[Марков, Андрей Андреевич (младший)|Марков А. А.]]}}|заглавие = Избранные труды|том = II. Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы|место = {{М.}}|издательство = Изд-во МЦНМО|год = 2003|страниц = 626|isbn = 5-94057-113-1}}

* {{Книга:Математическая энциклопедия|1|автор = {{nobr|Нагорный Н. М.}}|статья = Абстракция актуальной бесконечности, Абстракция отождествления, Абстракция потенциальной осуществимости|страницы = 43, 44}}

* {{книга|автор = {{nobr|[[Кушнер, Борис Абрамович|Кушнер Б. А.]]}}|заглавие = Лекции по конструктивному математическому анализу|место = {{М.}}|год = 1973|страниц = 447|издательство = Наука}}