Математическая логика и теория алгоритмов [текст] : (сборник статей) / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 176 с. - (Труды Института математики ; Т. 2).

Основное заглавие: Математическая логика и теория алгоритмов

Сведения, относящ. к заглавию: (сборник статей)

Ответственность: отв. ред. С. Л. Соболев

Физический носитель: текст

Год публикации: 1982

Место издания: Новосибирск

Издательство: Наука

Объем: 176 с.

Серия: Труды Института математики

Ключевые слова: Математическая логика; Логика; Математическая теория

ББК: 22.127+22.122