Изложен основной круг задач, сводимых к исчислению объектов — от простого к сложному.
Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач.
В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и Y-исчисления. Все задачи снабжены подробными и элементарными решениями.
Для студентов старших курсов.
