دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 52,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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Philosophy, Science, Education and Culture
دانلود کتاب Draw Write Now, Book 4: The Polar Regions, Arctic, Antarctic (Draw-Write-Now)
دانلود کتاب Visualizing Fascism: The Twentieth-Century Rise of the Global Right
دانلود کتاب Piano for Beginners : Guiding you every step of the way and providing you with everything you need to start learning to read music and play the piano
