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

العنوان: symbolic logic and mechanical theorem proving lee,richard char-tung (jt.auth.)
رقم التسجيل : 121119
رقم التصنيف: 511.3 C456
المؤلف: chang,chin-liang
الطبعة: 1st.ed.
مكان النشر والناشر: N.Y. Academic
تاريخ النشر: 1973
عدد النسخ: 1
رؤوس الموضوعات: /logic,symbolic and mathematical/