LEADER |
01363nam a22003017a 4500 |
001 |
1456053 |
041 |
|
|
|a ara
|
100 |
|
|
|9 59062
|a أبو السعود، صباح عبدالسلام
|e مؤلف
|
245 |
|
|
|a The Completeness of non Formal Logical Systems on Propositional Calculus
|
260 |
|
|
|c 2009
|a أم درمان
|
300 |
|
|
|a 1 - 113
|
336 |
|
|
|a رسائل جامعية
|
502 |
|
|
|b رسالة ماجستير
|c جامعة أم درمان الاسلامية
|f كلية الدراسات العليا
|g السودان
|o 0115
|
653 |
|
|
|a المنطق الرياضي
|a نظرية الأنقسة
|a الاستدلال الرياضي
|a الرياضيات
|
700 |
|
|
|9 286769
|a غوان، بشير حسني
|e مشرف
|
856 |
|
|
|u 9818-003-003-0115-T.pdf
|y صفحة العنوان
|
856 |
|
|
|u 9818-003-003-0115-A.pdf
|y المستخلص
|
856 |
|
|
|u 9818-003-003-0115-C.pdf
|y قائمة المحتويات
|
856 |
|
|
|u 9818-003-003-0115-F.pdf
|y 24 صفحة الأولى
|
856 |
|
|
|u 9818-003-003-0115-1.pdf
|y 1 الفصل
|
856 |
|
|
|u 9818-003-003-0115-2.pdf
|y 2 الفصل
|
856 |
|
|
|u 9818-003-003-0115-3.pdf
|y 3 الفصل
|
856 |
|
|
|u 9818-003-003-0115-4.pdf
|y 4 الفصل
|
856 |
|
|
|u 9818-003-003-0115-5.pdf
|y 5 الفصل
|
856 |
|
|
|u 9818-003-003-0115-R.pdf
|y المصادر والمراجع
|
930 |
|
|
|d y
|
995 |
|
|
|a Dissertations
|
999 |
|
|
|c 561363
|d 561363
|