Skip to main content
خانه
Dr.Mojtaba Aghaei
Assistant Professor of Mathematical Sciences Dept.

Articles

type: Journal
Title DOI Date
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts # 2014-05
A Gentzen style axiomatization for basic predicate calculus # 2003-01
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic # 2001-07
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic # 2000-03
مروري بر نظريه اثبات # 2005-10
اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر # 2005-10
Main navigation
  • Login
  • Manual
  • University Home Page
  • Home
  • Index

Provided by Information Technology Manager of Isfahan University of Technology (https://it.iut.ac.ir)

Support and send ticket

تحت نظارت وف بومی