Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор — выдающийся отечественный математик — Юрий Иванович Манин.
Основной объект изучения второй части курса — детерминированный процесс вычисления, или переработки нечисловой информации — алгоритм.
