Математическая логика и теория алгоритмов Ю. Л. Ершов

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