خرید و دانلود نسخه کامل کتاب Applied proof theory: Proof interpretations and their use in mathematics

نظریه اثبات کاربردی: تفاسیر اثبات شده و استفاده از آن در ریاضیات

Applied proof theory: Proof interpretations and their use in mathematics

نویسنده: Ulrich Kohlenbach (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

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

زبان: English

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

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