Rhoma، H. S. (2013). On Propositional Calculus the Soundness and the Completeness of the Non-Formal Systems ( Ldsi , 1≤ I ≤ 4 ). المجلة الجامعة، مج15, ع2 ، 23 - 42. مسترجع من http://search.mandumah.com/Record/1262926
Rhoma، Huda Sadeg. "On Propositional Calculus the Soundness and the Completeness of the Non-Formal Systems ( Ldsi , 1≤ I ≤ 4 )." المجلة الجامعة مج15, ع2 (2013): 23 - 42. مسترجع من http://search.mandumah.com/Record/1262926