تدریجی ریاضی: مقدمه ای بر تئوری اثبات
Mathematical Intuitionism: Introduction to Proof Theory
نویسنده: A. G. Dragalin
ناشر: American Mathematical Society
سال انتشار: 1988
تعداد صفحات: 242
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت