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

العنوان: metalogic;an introduction to the metatheory of atandard first order logic hunter,geoffrey
رقم التسجيل : 104595
رقم التصنيف: 511.3 H945
المؤلف: hunter,geoffrey
الطبعة: 1st.ed.
مكان النشر والناشر: Berkeley University of Calif.
تاريخ النشر: 1971
عدد النسخ: 1
رؤوس الموضوعات: /first-order logic/