جامعة بغداد / الامانة العامة للمكتبة المركزية

رقم التسجيل : 296455
اللغة: En.
نوع المادة: book
رقم التصنيف: 511.321 S611
العنوان: Derivation and computation:taking the curry-howard correspondence seriously:derivation systems substitution algorithms computation mechanisms
المؤلف: Simmons.Harold
مكان النشر والناشر: Newyork Cambridge liniversity
تاريخ النشر: 2000
عدد الصفحات: 384p.:ill
رؤوس المواضيع: Proof theory
عدد النسخ: 01