
Название: Ламбда-исчисление. Его синтаксис и семантика. The Lambda Calculus Its Syntax and Semantics
Автор: Барендрегт X.
Издательство: М.: Мир
Год: 1985
Страниц: 606
Формат: djvu
Размер: 25,52 Мб
Язык: Русский
Эта книга, являясь, с одной стороны, почти энциклопедически полным изложением новых результатов, является, с другой стороны, введением в предмет, в котором находит свое место и классический материал, часто переосмысленный с новых позиций. Это достигнуто за счет оригинального построения книги.