Автор: В.Э. Вольфенгаген, профессор, д.т.н., Институт "ЮрИнфоР-МГУ", кафедра перспективных компьютерных исследований и информационных технологий.
	Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. -- М.: МИФИ, 1994. -- 204 с. ISBN 5-7262-0009-8

Последовательно изложен основной круги задач, сводимых к исчислению объектов. Выбор конкретного варианта исчисления определяется характером тех вычислительных задач, которые предстоит решать в ходе выполнения исследования. Принят способ изложения "от простого к сложному", который реализуется путем последовательного подбора задач. В ходе их самостоятельного решения читателю предлагается овладеть основными методами и средствами комбинаторной логики, l-исчисления (ламбда-исчисления) и категориальной комбинаторной логики. Все задачи снабжены подробными решениями, выполненными вполне элементарными средствами. [Загрузить PS файл (2114,7 KB).]

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