Обложка Соболев С.Л. Математическая логика и теория алгоритмов
Id: 70917

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

1982. 176 с. Букинист. Состояние: 4. Есть погашенная библиотечная печать.
  • Мягкая обложка

Аннотация

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

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