- العنوان: absoluteness of intuitionistic logic leivant,daniel m. r.
- رقم التسجيل : 247047
- رقم التصنيف: 511.2 LA 4
- المؤلف: leivant,daniel maurice raphael
- الطبعة: 1st.ed.
- مكان النشر والناشر: Amsterdam Mathematisch Centrum
- تاريخ النشر: 1979
- عدد النسخ: 1
- الرقم الدولي: 90-619-6122-X
- رؤوس الموضوعات: /intuitionistic mathematics/ /proof theory/
مساعدة - بحث جديد - الصفحة الرئيسية - English
نسخة تجريبية |
© جميع حقوق النشر محفوظة لجامعة بغداد / الامانة العامة للمكتبة المركزية 2012