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

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

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

ناشر: Cambridge University Press

سال انتشار: 1999

تعداد صفحات: 430

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت

98,000 تومان 59,000 تومان