خرید و دانلود نسخه کامل کتاب Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Ω-کتابشناسی منطق ریاضی. جلد 6: نظریه اثبات. ریاضیات سازنده

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

نویسنده: Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)

ناشر: Springer

سال انتشار: 1987

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

زبان: English

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

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