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

العنوان: algebra of proofs szabo,m. e.
رقم التسجيل : 159495
رقم التصنيف: 511.3 S996
المؤلف: szabo,m.e.
الطبعة: 1st.ed.
مكان النشر والناشر: Amsterdam North-Holland
تاريخ النشر: 1978
عدد النسخ: 1
رؤوس الموضوعات: /proof theory/ /categories (mathematics)/ /combinatory logic/