Lambda Calculus with Types

قیمت

۳۶٬۰۰۰ تومان۲۷٪ تخفیف کل

قیمت اصلی۴۹٬۰۰۰ تومان

تخفیف زمان‌دار

۱۳٬۰۰۰ تومان تخفیف

−۱۳٬۰۰۰ تومان۳۶٬۰۰۰ تومان

۱۳٬۰۰۰ تومان ارزان‌تر از قیمت اصلی

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

مشخصات کتاب

نویسنده: Henk Barendregt, Wil Dekkers, Richard Statman
ناشر: Cambridge University Press ; Association for Symbolic Logic
سال انتشار: ۲۰۱۳
فرمت: PDF
زبان: انگلیسی
حجم فایل: ۷٫۱ مگابایت
شابک: 9780521766142، 9781107272248، 9781107273818، 9781107275041، 9781107471313، 9781139032636، 9781299772748، 9781461936565، 0521766141، 1107272246، 1107273811، 1107275040، 1107471311، 1139032631، 1299772749، 146193656X

Lambda-calculus: types and models

۴۹٬۰۰۰ تومان

Lambda-calculus, types and models

۴۹٬۰۰۰ تومان

Lambda-Calculus: Types and Models

۴۹٬۰۰۰ تومان

Lambda Calculus with Types (Perspectives in Logic)

۴۹٬۰۰۰ تومان

Lambda Calculus with Types (Perspectives in Logic)

۴۹٬۰۰۰ تومان

The λ-calculus (lambda calculus)

۴۹٬۰۰۰ تومان

Lambda Calculi with Types

۴۹٬۰۰۰ تومان

Errata for The lambda calculus

۴۹٬۰۰۰ تومان

Lambda Calculus 001

۴۹٬۰۰۰ تومان

Introduction to Lambda calculus

۴۹٬۰۰۰ تومان

Introduction to Lambda Calculus

۴۹٬۰۰۰ تومان

An introduction to lambda calculus

۴۹٬۰۰۰ تومان

قیمت نهایی

۳۶٬۰۰۰ تومان