| Title | DOI | Year | Month | type |
|---|---|---|---|---|
| Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts | - | 1393 | 02 | Journal |
| اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر | - | 1384 | 07 | Journal |
| مروري بر نظريه اثبات | - | 1384 | 07 | Journal |
| A Gentzen style axiomatization for basic predicate calculus | - | 1381 | 10 | Journal |
| Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic | - | 1380 | 04 | Journal |
| A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic | - | 1378 | 12 | Journal |
| Title |
|---|
| مبانی ریاضی |
| ریاضی عمومی |