برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Treatise on Intuitionistic Type Theory

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

مشخصات کتاب

Treatise on Intuitionistic Type Theory

دسته بندی: منطق
ویرایش:  
نویسندگان: Johan Georg Granström  
سری: Logic, Epistemology, and the Unity of Science 22 
ISBN (شابک) : 9400717350, 9789400717350 
ناشر: Springer 
سال نشر: 2011 
تعداد صفحات: 211 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 31,000

کلمات کلیدی مربوط به کتاب رساله در نظریه نوع شهودی: معرفت شناسی، منطق و مبانی ریاضی، منطق و معانی برنامه ها، منطق، تاریخ فلسفه، الگوریتم ها

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 5

در صورت تبدیل فایل کتاب Treatise on Intuitionistic Type Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رساله در نظریه نوع شهودی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages i-xiii
Prolegomena....Pages 1-11
Truth and Knowledge....Pages 13-51
The Notion of Set....Pages 53-76
Reference and Computation....Pages 77-106
Assumption and Substitution....Pages 107-154
Intuitionism....Pages 155-173
Back Matter....Pages 175-196