محاسبات و نظریه اثبات
Computation and Proof Theory
نویسنده: Richter M.M. (ed.), Borger E. (ed.), Oberschelp W. (ed.)
ناشر: Volume 2, 1984
سال انتشار: 1984
تعداد صفحات: 483
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.