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

العنوان: extensional godel functional interpretation;a consistency proof of calassical analysis horst l.
رقم التسجيل : 242118
رقم التصنيف: 517.5 LE
المؤلف: luckhardt,horst
الطبعة: 1st.ed.
مكان النشر والناشر: N.Y. Springer-verlag
تاريخ النشر: 1973
عدد النسخ: 1
الرقم الدولي: 0-387-06119-3
رؤوس الموضوعات: /proof theory/ /intuitionistics mathematics/