Соболев С.Л. (Ред.).

Математическая логика и теория алгоритмов

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

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