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

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
оформление
номер тома
Строка 55:
* {{книга|автор = {{nobr|[[Марков, Андрей Андреевич (младший)|Марков А. А.]]}}|заглавие = Избранные труды|том = II. Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы|место = {{М.}}|издательство = Изд-во МЦНМО|год = 2003|страниц = 626|isbn = 5-94057-113-1}}
* {{книга|автор = {{nobr|Марков А. А.}}, {{nobr|Нагорный Н. М.}}|заглавие = Теория алгорифмов|издание = 2-е изд.|место = {{М.}}|издательство = ФАЗИС|год = 1996}}
* {{Книга:Математическая энциклопедия|1|автор = {{nobr|Нагорный Н. М.}}|статья = Абстракция актуальной бесконечности, Абстракция отождествления, Абстракция потенциальной осуществимости|страницы = 43, 44}}
* {{книга|автор = {{nobr|[[Кушнер, Борис Абрамович|Кушнер Б. А.]]}}|заглавие = Лекции по конструктивному математическому анализу|место = {{М.}}|год = 1973|страниц = 447|издательство = Наука}}
* {{книга|автор = {{nobr|Кушнер Б. А.}}|заглавие = Конструктивная математика, Математическая энциклопедия|место = {{М.}}|год = 1979|издательство = Советская энциклопедия|том = 2|страниц = 1042}}