خرید و دانلود نسخه کامل کتاب Complexity of Proofs and Their Transformations in Axiomatic Theories

پیچیدگی براهین و تبدیل آنها در نظریه های بدیهی

Complexity of Proofs and Their Transformations in Axiomatic Theories

نویسنده: V. P. Orevkov

ناشر: American Mathematical Society

سال انتشار: 1993

تعداد صفحات: 164

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت