دانلود کتاب Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
by S. Barry Cooper
|
عنوان فارسی: مدلها و محاسبه پذیری: مقالات دعوت شده از منطق گفتگوی 97 - نشست اروپایی انجمن منطق نمادین ، u200bu200bلیدز ، ژوئیه 1997 |