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

1973, изд-во: Наука, город: Москва, стр. : 448 стр., илл., обложка: Твердый издательский переплет с суперобложкой., формат: Обычный, состояние: Отличное у книги. Суперобложка с небольшими дефектами. . В рамках конструктивного направления последовательно излагается система вычислимого анализа, развитая в СССР за последние 20 лет. Книга дает отчетливое впечатление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т. д. Большой интерес представляют также точные постановки и доказательства неразрешимости ряда алгорифмических проблем анализа.