Исследования по теории алгорифмов и математической логике. Том 2.
Сборник работ под ред. А. А. Маркова и Б.А. Кушнера.

1976, изд-во: Вычислительный центр Академии наук СССР ВЦ АН СССР, город: Москва, стр. : 156 стр., обложка: Мягкая издательская обложка., формат: Увеличенный., состояние: Отличное. . Настоящий сборник содержит статьи, посвященные вопросам конструктивной семантики, теории сложности алгорифмов, конструктивного математического анализа и многозначных логик, а также дедуктивным аспектам формальных теорий и алгорифмическим проблемам математики. Большинство публикуемых работ докладывалось на семинаре по конструктивной математике ВЦ АН СССР и кафедры математической логики механико-математического факультета МГУ.