خرید و دانلود نسخه کامل کتاب Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

مقالات برگزیده اتومات (مطالعات منطق و مبانی ریاضیات)

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

نویسنده: R.P. Nederpelt (editor), J.H. Geuvers (editor), R.C. de Vrijer (editor)

ناشر: North Holland

سال انتشار: 1994

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

زبان: English

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

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