کتاب الکترونیکی

مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997

Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

دانلود کتاب Models and Computability: Invited Papers from Logic Colloquium ’97 – European Meeting of the Association for Symbolic Logic, Leeds, July 1997 (به فارسی: مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997) نوشته شده توسط «S. Barry Cooper – John K. Truss»

اطلاعات کتاب مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: S. Barry Cooper – John K. Truss

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1999

تعداد صفحه: 430

حجم کتاب: 5 مگابایت

کد کتاب: 0521635500 , 9780521635509 , 9780511565670 , 0511565674

توضیحات کتاب مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997

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

Together, Models and Computability and its sister volume Sets and Proofs 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, post-graduate researchers, and the informed and interested nonspecialist.

دانلود کتاب «مدل‌ها و محاسبه‌پذیری: مقالات دعوت شده از کولوکیوم منطق 97 – نشست اروپایی انجمن منطق نمادین، لیدز، ژوئیه 1997»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان