ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

دانلود کتاب منطق طبقه ای مرتبه اول. روشهای نظری مدل در تئوری توپوی و مقولات مرتبط

First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

مشخصات کتاب

First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

دسته بندی: منطق
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Mathematics 
ISBN (شابک) : 3540084398, 9783540084396 
ناشر: Springer 
سال نشر: 1977 
تعداد صفحات: 308 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب First order categorical logic. Model-theoretical methods in the theory of topoi and related categories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

Introduction....Pages 1-10
Grothendieck topoi....Pages 11-67
Interpretation of the logic $$L_{\\infty _\\omega }$$ in categories....Pages 68-95
Axioms and rules of inference valid in categories....Pages 96-131
Boolean and heyting valued models....Pages 132-142
Completeness....Pages 143-164
Existence theorems on geometric morphisms of topoi....Pages 165-192
Conceptual completeness....Pages 193-236
Theories as categories....Pages 237-271
Classifying topoi....Pages 272-297
Corrections to “first order categorical logic”....Pages e1-e8




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی