منطق نوين ( مشتمل بر اللمعات المشرقيه في الفنون المنطقيه ) ( فارسى ) — الصفحة ٤٧٨
قاعده براى تعيين جهت در نتايج شكل سوم
( 709 ) فهرست مختلطات شكل سوم كه كبرى غيروصفيه و نتيجه تابع كبرى مىباشد .
( 709 ) فهرست مختلطات شكل سوم كه كبرى غيروصفيه و نتيجه تابع كبرى مىباشد .