دکتر مجتبی آقائی aghaei@iut.ac.ir نشانی دفتر اصفهان-دانشگاه صنعتی اصفهان-دانشکده علوم ریاضی شماره تماس +98 31 33913648 فکس +98 31 33912600 پست ها و موقعیت های شغلی و سازمانی استادیار دانشکده علوم ریاضی زمینه های مورد علاقه منطق رياضي نظریه رمزی فلسفه علم رياضيات تاريخ علم رياضيات Dr.Mojtaba Aghaei نوع: Journal عنوان Date Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts 1393-02 مروري بر نظريه اثبات 1384-07 اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر 1384-07 A Gentzen style axiomatization for basic predicate calculus 1381-10 Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic 1380-04 A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic 1378-12
