دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
دانلود کتاب گفتگوی منطق 98: جلسات نشست سالانه اروپا در اتحادیه انجمن منطق نمادین ، برگزار شده در پراگ ، جمهوری چک ، 9-15 آگوست 1998
مشخصات کتاب
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
ویرایش: [1 ed.] نویسندگان: Buss. Samuel R., Hájek. Petr, Pudlák. Pavel (eds.) سری: Springer Lecture notes in logic 13 ISBN (شابک) : 1568811136, 1568811144 ناشر: Association for Symbolic Logic;A K Peters/CRC Press;A.K.Peters سال نشر: 2000 تعداد صفحات: 560 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گفتگوی منطق 98: جلسات نشست سالانه اروپا در اتحادیه انجمن منطق نمادین ، برگزار شده در پراگ ، جمهوری چک ، 9-15 آگوست 1998 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب گفتگوی منطق 98: جلسات نشست سالانه اروپا در اتحادیه انجمن منطق نمادین ، برگزار شده در پراگ ، جمهوری چک ، 9-15 آگوست 1998
مجموعه ای از مقالات ارائه شده در نشست تابستانی اروپا در سال 1998 انجمن منطق نمادین، Colloquium منطق 98 شامل نظرسنجی ها و تحقیقات منطق دانان برجسته جهان است. موضوعات تحقیقات جاری از تمام زمینه های منطق ریاضی، از جمله نظریه اثبات، نظریه مجموعه ها، نظریه مدل، نظریه محاسبه پذیری و فلسفه را پوشش می دهد. این کتاب مورد توجه دانشجویان و محققین منطق ریاضی خواهد بود
توضیحاتی درمورد کتاب به خارجی
A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy. This book will be of interest to students and researchers of mathematical logic
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Enkephalins and Endorphins: Stress and the Immune System
دانلود کتاب English Historical Linguistics 2006: Selected papers from the fourteenth International Conference on English Historical Linguistics (ICEHL 14), Bergamo, 21–25 August 2006. Volume II: Lexical and Semantic Change
دانلود کتاب Plumbing Engineering Design Handbook - A Plumbing Engineer’s Guide to System Design and Specifications, Volume 4 - Plumbing Components and Equipment
