دانلود کتاب An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
by Paolo Mancosu, Sergio Galvan, Richard Zach|
|
عنوان فارسی: مقدمه ای بر تئوری اثبات: عادی سازی، حذف حذف و اثبات سازگاری |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟