خرید و دانلود نسخه کامل کتاب Normalization, Cut-Elimination, and the Theory of Proofs

عادی سازی، برش حذف، و نظریه اثبات

Normalization, Cut-Elimination, and the Theory of Proofs

نویسنده: A. M. Ungar

ناشر: CSLI Publications

سال انتشار: 1992

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

زبان: English

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

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