Programming with Higher-Order Logic

قیمت

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

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

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

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

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

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

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

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

مشخصات کتاب

نویسنده: Dale Miller, Gopalan Nadathur
ناشر: Cambridge University Press (Virtual Publishing)
سال انتشار: ۲۰۱۲
فرمت: PDF
زبان: انگلیسی
حجم فایل: ۳٫۴ مگابایت
شابک: 9780521879408، 9781139021326، 9781139514927، 9781139516570، 9781139518420، 9781280775086، 052187940X، 113902132X، 113951492X، 1139516574، 1139518429، 1280775084

Programming with Higher-Order Logic

۳۶٬۰۰۰ تومان

A Philosophical Introduction to Higher Order Logics

۳۶٬۰۰۰ تومان

Introduction to Higher Order Categorical Logic

۳۶٬۰۰۰ تومان

A Philosophical Introduction to Higher-order Logics

۳۶٬۰۰۰ تومان