Lambda-Calculus and Combinators

Изчерпано количество

Бъдете първият оценил този продукт

Продуктът не е наличен Запиши се за известие при зареждане

151,90 лв.

Описание

Информация за доставка

Връщане

Коментари

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.

Виж повече

Информация за "Lambda-Calculus and Combinators"

SKU 9780521898850
Weight 0.686000
ISBN 9780521898850

Вид корица Hardback
Издателство Cambridge University Press
Брой страници 358

Доставка до твой адрес

При теб до 3 работни дни
Цена за доставка с куриер - 4.90 лв.
Безплатна доставка
(за поръчка над 49.80 лв.)

Доставка до офис на куриер

Цена за доставка до офис - 4.90 лв.
По-кратък срок за доставка

Доставка до магазин на Orange Center

Доставката до магазин е безплатна!

Онлайн магазин orangecenter.bg уверява своите клиенти, че съгласно чл. 55, ал.1 от Закона за защита на потребителите, имат правото да се откажат / или заменят получена от тях стока в срок от 14 (четиринадесет) работни дни от датата на получаване на стоката САМО при условие, че продукта е:

- в оригиналният си вид и качествени характеристики, със запазена оригинална опаковка и етикет, като не се счита за повредена опаковката, цялостта на която е била нарушена по начин, единствено позволяващ отделянето й от стоката.

- без следи от употреба (скъсване, надраскване, счупване или други повреди), както и няма други повреди, причинени от неправилна употреба.

Повече информация за връщане и замяна на стока ще намерите ТУК.

Lambda-Calculus and Combinators

The information below is required for social login

Забравена парола