Computation and Proof Theory

خرید و دانلود نسخه کامل کتاب Computation and Proof Theory

محاسبات و نظریه اثبات

Computation and Proof Theory

نویسنده: Richter M.M. (ed.), Borger E. (ed.), Oberschelp W. (ed.)

ناشر: Volume 2, 1984

سال انتشار: 1984

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

زبان: English

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

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

97,000 تومان 60,000 تومان