نظرية الاثبات ، المحررات أو الادلة الكتابية - المؤمن، حسين (مكتبة النهضة،, 1975)
الموجود بالمكتبة الجزء الثالث فقط