Математическая логика и теория алгоритмов. Труды института математики, том 2.
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логике в теоретическом программировании.Книга будет полезна научным...