Автор: В.Э. Вольфенгаген, профессор, д.т.н., Институт "ЮрИнфоР-МГУ", кафедра перспективных компьютерных исследований и информационных технологий.
	Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. -- 2-е изд. -- М.: АО "Центр ЮрИнфоР", 2003. -- vi+336 с. ISBN 5-89158-101-9.

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

Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения''.