| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive |
|
1972, Volume 121
|
| | | General information | | | Contents | | |
|
Editorial V. P. Orevkov |
4 | |
|
|
The restriction of the complexity of terms in the resolution method N. K. Zamov |
5 | |
|
|
The inverse method, and tactics for establishing deducibility for a calculus with functional symbols S. Yu. Maslov |
14 | |
|
|
Decidable classes that reduce to a single quantifier class S. Yu. Maslov, V. P. Orevkov |
57 | |
|
|
The Skolem method in intuitionistic calculi G. E. Mints |
67 | |
|
|
Undecidable classes of formulas for the constructive predicate calculus. I V. P. Orevkov |
100 | |
|
|
A sequential variant of the arithmetical system of R. Robinson that does not contain cut type rules A. Y. Plushkevichene |
109 | |
|
|
Sequential variants of applied predicate calculi without structural rules of inference M. G. Rogava |
136 | |
|
|
Errata |
167 | |