خرید و دانلود نسخه کامل کتاب Aspects of the computational content of proofs

جنبه های محتوای محاسباتی برهان ها

Aspects of the computational content of proofs

نویسنده: Underwood J.L.

ناشر: 1994

سال انتشار: 1994

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

زبان: English

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

حجم فایل: 589 کیلوبایت