aghaei@iut.ac.ir نشانی دفتر اصفهان-دانشگاه صنعتی اصفهان-دانشکده علوم ریاضی شماره تماس +98 31 33913648 فکس +98 31 33912600 پست ها و موقعیت های شغلی و سازمانی استادیار دانشکده علوم ریاضی زمینه های مورد علاقه منطق رياضي نظریه رمزی فلسفه علم رياضيات تاريخ علم رياضيات نوع: Journal عنوان DOI نوع اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر # Journal مروري بر نظريه اثبات # Journal
