On Propositional Calculus the Soundness and the Completeness of the Non-Formal Systems ( Ldsi , 1≤ I ≤ 4 )

المصدر:	المجلة الجامعة
الناشر:	جامعة الزاوية - مركز البحوث والدراسات العليا
المؤلف الرئيسي:	Rhoma, Huda Sadeg (Author)
المجلد/العدد:	مج15, ع2
محكمة:	نعم
الدولة:	ليبيا
التاريخ الميلادي:	2013
الصفحات:	23 - 42
رقم MD:	1262926
نوع المحتوى:	بحوث ومقالات
اللغة:	الإنجليزية
قواعد المعلومات:	EduSearch, EcoLink, IslamicInfo, AraBase, HumanIndex
مواضيع:	علم الرياضيات \| حساب التفاضل والتكامل \| المنطق الرياضي \| النظم المنطقية
رابط المحتوى:	الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01112nam a22002417a 4500
001	2015476
041		\|a eng
044		\|b ليبيا
100		\|9 673074 \|a Rhoma, Huda Sadeg \|e Author
245		\|a On Propositional Calculus the Soundness and the Completeness of the Non-Formal Systems ( Ldsi , 1≤ I ≤ 4 )
260		\|b جامعة الزاوية - مركز البحوث والدراسات العليا \|c 2013
300		\|a 23 - 42
336		\|a بحوث ومقالات \|b Article
653		\|a علم الرياضيات \|a حساب التفاضل والتكامل \|a المنطق الرياضي \|a النظم المنطقية
773		\|4 العلوم الإنسانية ، متعددة التخصصات \|4 العلوم الاجتماعية ، متعددة التخصصات \|6 Humanities, Multidisciplinary \|6 Social Sciences, Interdisciplinary \|c 018 \|e University Bulletin \|l 002 \|m مج15, ع2 \|o 0928 \|s المجلة الجامعة \|v 015
856		\|u 0928-015-002-018.pdf
930		\|d n \|p y \|q n
995		\|a EduSearch
995		\|a EcoLink
995		\|a IslamicInfo
995		\|a AraBase
995		\|a HumanIndex
999		\|c 1262926 \|d 1262926