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