Articles
| Title | DOI | Date | Conference Title |
|---|---|---|---|
| Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts | # | 1393 - 02 | |
| 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 | |
| اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر | # | 1384 - 07 | |
| مروري بر نظريه اثبات | # | 1384 - 07 |