نظریه اثبات: اولین گام برای غیرقابل پیش بینی بودن
Proof theory: the first step into impredicativity
نویسنده: Pohlers W.
ناشر: Springer
سال انتشار: 2008
تعداد صفحات: 380
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.