يوسف ل. أ., "المكونات الاساسية والقواعد الاستنتاجية في منطق الرتبة الاولى", lark, م 8, عدد 2, ص 475–485, مايو 2019, doi: 10.31185/lark.Vol1.Iss22.616.