Lambda-Calculus and Combinators
604.12 BYN
543.71
BYN
Доставка в Минск:
21 Ноября (Пт) - 24 Ноября (Пн)
Доставка в регионы:
27 Ноября (Чт) - 01 Декабря (Пн)
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
Артикул
lb11240426
Издательство
Тип обложки
Hardback
Автор
Штрих код
9780521898850
Год
2008
Страниц
360
Размеры
159x237 мм
Вес
670 гр.
Импортер
ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167
С этим товаром покупают
Будьте первыми, кто оставит отзыв!