Литература:
Гильберт Д. Основания геометрии / пер. с нем. И. С. Градштейна. – Москва ; Ленинград : Гостехиздат, 1948. – (Классики естествознания. Математика. Механика. Физика. Астрономия).
Проблемы конструктивного направления в математике : сборник работ / под ред. В. П. Оревкова и Н. А. Шанина. – Ленинград : Наука, 1958–1973. – 6 т. – (Труды Математического института АН СССР им. В. А. Стеклова ; 52 ; 67 ; 72 ; 93 ; 113 ; 129).
Constructivity in mathematics : Proceedings of the Colloquium held at Amsterdam 1957 / ed. by A. Heyting. – Amsterdam : North-Holland Publishing Co, 1959. – (Studies in logic and the foundations of mathematics).
Марков А. А. О логике конструктивной математики. – Москва : Знание, 1972. – (Новое в жизни, науке, технике. Математика, кибернетика ; 8).
Марков А. А. Теория алгорифмов / А. А. Марков, Н. М. Нагорный. – 2-е изд., испр. и доп. – Москва : ФАЗИС, 1996.
Френкель А. А. Основания теории множеств / А. А. Френкель, И. Бар-Хиллел ; пер. с англ. Ю. А. Гастева. – 3-е изд. – Москва : URSS, 2010. – (Физико-математическое наследие : математика (основания математики и логика)).
Гейтинг А. Интуиционизм : введение / пер. с англ. В. А. Янкова. – Изд. 2-е, испр. – Москва : URSS : ЛИБРОКОМ, 2010. – (Физико-математическое наследие : математика (основания математики и логика)).
Опубликовано 29 июня 2023 г. в 13:38 (GMT+3). Последнее обновление 29 июня 2023 г. в 13:38 (GMT+3).