أبو السعود، صباح عبدالسلام، و غوان، بشير حسني. (2009). The Completeness of non Formal Logical Systems on Propositional Calculus (رسالة ماجستير غير منشورة). جامعة أم درمان الاسلامية، أم درمان. مسترجع من http://search.mandumah.com/Record/561363
أبو السعود، صباح عبدالسلام، و بشير حسني غوان. "The Completeness of Non Formal Logical Systems On Propositional Calculus" رسالة ماجستير. جامعة أم درمان الاسلامية، أم درمان، 2009. مسترجع من http://search.mandumah.com/Record/561363