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