Articles
| Title | DOI | Date |
|---|---|---|
| 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 |