ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Sets and Proofs

دانلود کتاب مجموعه ها و اثبات ها

Sets and Proofs

مشخصات کتاب

Sets and Proofs

ویرایش:  
نویسندگان: ,   
سری: London Mathematical Society Lecture Note Series 
ISBN (شابک) : 9780521635493 
ناشر: Cambridge University Press 
سال نشر: 1999 
تعداد صفحات: 448 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Sets and Proofs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

مجموعه‌ها و اثبات‌ها و مدل‌ها و محاسبه‌پذیری با هم، راهنمای جامعی از وضعیت فعلی منطق ریاضی را در اختیار خوانندگان قرار می‌دهند. همه نویسندگان در زمینه های خود پیشرو هستند و از سخنرانان دعوت شده در "Colloquium منطق "97" (اجلاس بین المللی بزرگ انجمن منطق نمادین) استخراج شده اند. انتظار می رود گستردگی و به موقع بودن این دو جلد باشد. منبع ارزشمند و منحصر به فردی برای متخصصان، محققان تحصیلات تکمیلی و افراد غیرمتخصص آگاه و علاقه مند خواهد بود.


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

Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist





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

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