دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
دانلود کتاب Logic Colloquium '02: مجموعه مقالات نشست تابستانی سالانه اروپا انجمن منطق نمادین و Colloquium Logicum، که در مونستر، آلمان، 3 تا 11 اوت 2002 برگزار شد.
مشخصات کتاب
Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
ویرایش: نویسندگان: Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers (eds.) سری: Lecture notes in logic. Association for Symbolic Logic (USA) ; 27 ISBN (شابک) : 1568813007, 1568813015 ناشر: A K Peters/CRC Press;A.K.Peters سال نشر: 2006 تعداد صفحات: 376 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Logic Colloquium '02: مجموعه مقالات نشست تابستانی سالانه اروپا انجمن منطق نمادین و Colloquium Logicum، که در مونستر، آلمان، 3 تا 11 اوت 2002 برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Logic Colloquium '02: مجموعه مقالات نشست تابستانی سالانه اروپا انجمن منطق نمادین و Colloquium Logicum، که در مونستر، آلمان، 3 تا 11 اوت 2002 برگزار شد.
Logic Colloquium '02 شامل مقالاتی از برخی از منطق دانان برجسته جهان است. موضوعات شامل همه حوزه های منطق ریاضی است، اما با تأکید بر نظریه محاسباتی و نظریه اثبات. این کتاب مورد توجه دانشجویان تحصیلات تکمیلی و محققین رشته منطق ریاضی خواهد بود
توضیحاتی درمورد کتاب به خارجی
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic
نظرات کاربران
کتاب های تصادفی
دانلود کتاب ISTFA 2007 : proceedings of the 33rd International Symposium for Testing and Failure Analysis, November 4-8, 2007, San Jose McEnery Convention Center, San Jose, California, USA
دانلود کتاب The Cambridge Companion to Goethe
دانلود کتاب Prognostics and Remaining Useful Life (RUL) Estimation: Predicting with Confidence
دانلود کتاب The Last Mission: The Secret History of World War II's Final Battle
