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