مدلها و محاسبهپذیری: مقالات دعوت شده از کولوکیوم منطق 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 مگابایت