Математическая логика и теория алгоритмов. Труды института математики, том 2
950 руб
Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики. В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логике в теоретическом программировании. 2012. Воспроизведено в оригинальной авторской орфографии издания 1982 года (издательство ""Наука", Сибирское отделение").