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