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