حساب ، نظریه اثبات و پیچیدگی محاسباتی
Arithmetic, Proof Theory, and Computational Complexity
نویسنده: Peter Clote, Jan Krajícek
ناشر: Oxford University Press, USA
سال انتشار: 1993
تعداد صفحات: 443
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت