| М 34 |
Математическая логика и теория алгоритмов [Текст] : Труды ин-та математики. Т.1 / АН СССР, Сибирское отд.; Отв. ред. С.Л. Соболев. – Новосибирск : Наука, 1982. – 176 с.
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумерации, теории моделей, теории доказательств. |
