منطق اثبات‌ها شهود منطق شهودی منطق ریاضی فضای هیلبرت منطق جدید منطق کلاسیک منطق غیر کلاسیک (منطق های توسعه یافته) منطق گزاره ها منطق شهودگرا Intuitionistic Logic منطق اثبات ها Persian دانشگاه صعنتی اصفهان 1386 text گل رنگی , مهدیه بینای مطلق, محمود (عضو هیات علمی بازنشسته دانشکده ریاضی دانشگاه صنعتی اصفهان می باشد.در سال 1348 دکترى فلسفه را از دانشگاه گوتینگن آلمان گرفت، سپس در دانشگاه لوزان سوئیس به تحصیل و تدریس ریاضیات مشغول شد ایشان به زبانهاى عربى، انگلیسى، فرانسه، آلمانى، سانسکریت، یونانى و لاتین آشنایى داشتند.), 1307ش.تهران.## 1404ش. آقایی, مجتبی Thesis