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