خرید و دانلود نسخه کامل کتاب Recursive Equivalence Types

انواع هم ارزی بازگشتی

Recursive Equivalence Types

نویسنده: Dekker, Jacob C. E. and Myhill, John R.

ناشر: University of California Press

سال انتشار: 1960

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

زبان: English

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

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