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