математика, математика, mathematics, mathematique ; математика вища, математика высшая, higher mathematics ; логіка математична, логика математическая

Эта книга представляет собой шестой сборник работ, которые излагались на семинаре по конструктивной математике в Ленинградском отделении Математического инститиута им. В.А.Стеклова АН СССР (являющемся одновременно научным семинаром математико-механического факультета Ленинградского университета). Сборник составлен из работ по теории сложности алгорифмов, конструктивному математическому анализу и конструктивной математической логике. Сборник рассчитан на математиков, как научных работников, так и студентов, а также на лиц, интересующихся математической кибернетикой.

• ББК науковий // Основи математики та математична логіка