Intuitionistic type theory

دانلود کتاب Intuitionistic type theory

دسته: منطق

46000 تومان موجود

کتاب نظریه نوع شهودی نسخه زبان اصلی

دانلود کتاب نظریه نوع شهودی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 10


توضیحاتی در مورد کتاب Intuitionistic type theory

نام کتاب : Intuitionistic type theory
عنوان ترجمه شده به فارسی : نظریه نوع شهودی
سری : Studies in Proof Theory
نویسندگان :
ناشر : Prometheus Books
سال نشر : 1985
تعداد صفحات : 100
ISBN (شابک) : 9788870881059 , 8870881059
زبان کتاب : English
فرمت کتاب : djvu    درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 318 کیلوبایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.






پست ها تصادفی