ов для аспирантов-математиков и механиков (стр. 3 из 3)

Коэн П.Дж. Теория множеств и континуум-гипотеза. М.: Мир, 1969 (djvu)
Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970 (djvu)

Успенский В.А. Теорема Геделя о неполноте. М., 1982.

История вычислительной техники.

Апокин И.А., Майстров Л.Е. Развитие вычислительных машин. М., 1974.

История возникновения и развития топологии.
Проект арифметизации анализа: Берлинская школа.
Вариационное исчисление и экстремальные задачи в математике и механике.

Полак Л.С. Вариационные принципы механики, их развитие и применение в физике. М., 1960.

Геометрические методы в механике XIX в.: Пуансо, Кориолис и др.
Теория устойчивости в механике и математике.
История механики жидкостей в XVIII-XX вв.
История теории упругости и пластичности.
Споры о методологии механики на рубеже XIX – XX вв.
Конструктивное направление в основаниях математики.

Марков А.А. О конструктивной математике // Труды Матем. ин-та АН СССР им. В.А.Стеклова 67, 1962, 8-14.

Шанин Н.А. Конструктивные вещественные числа и конструктивные функциональные пространства // Там же. С.15-294. См.: Введение и приложение.

Гейтинг А. Интуиционизм. Введение. М., 1965. См. комментарии ред. перевода А.А.Маркова.

Проблемы конструктивного направления в современной математике // Труды Матем. ин-та АН СССР им. В.А.Стеклова. Т.52 (1958). Т.67 (1962). Т.72 (1964). Т.93 (1967).

Гудстейн Р.Л. Рекурсивный математический анализ. М., 1970. Вступительная статья Н.А.Шанина. (pdf)

Кушнер Б.А. Лекции по конструктивному математическому анализу. М., 1973.

Bishop E. Foundations of constructive analysis. NY, 1967.

Трулстра А.С. Аспекты конструктивной математики // Справочная книга по математической логике. В 4-х частях. М., 1983. Ч.IV.

Мартин-Лёф П. Очерки по конструктивной математике. М., 1975.

Марков А.А., Нагорный Н.М. Теория алгорифмов. М., 1984.

Тростников В.Н. Конструктивные процессы в математике (Философский аспект). М., 1975.

Теория фракталов.

Мандельброт Б. Фрактальная геометрия природы. М., 2002.