Мартин-Лёф П., Очерки по конструктивной математике.
Серия Библиотека сборника Математика. Перевод с английского.

1975, изд-во: Мир, город: Москва, стр. : 136 стр., обложка: Мягкая издательская обложка., формат: Обычный., состояние: Отличное. . Эта книга представляет собой введение в конструктивную математику и рассчитана на математиков, желающих уточнить свои интуитивные представления о конструктивности, она позволяет без особых технических усилий ознакомиться с точными результатами в этой области. В книге излагается найденный автором конструктивный вариант некоторых первоначальных идей Брауэра из области конструктивизации математического анализа. Книга доступна математикам всех специальностей, начиная со студентов младших курсов. Она представляет интерес также для всех лиц, интересующихся основаниями математики.