Synthesis of the resolution method with the inverse method G. V. Davydov OriginalPaper Pages: 12 - 18
Another constructive version of the cauchy theorem I. D. ZaslavskiiG. S. Tseitin OriginalPaper Pages: 19 - 21
Diophantine representations of the sequence of solutions of the Pell equation N. K. Kosovskii OriginalPaper Pages: 28 - 35
Algorithmic sequences from the initial class of the Grzegorczyk hierarchy N. K. Kosovskii OriginalPaper Pages: 36 - 40
Investigation of constructive functions by the method of fillings V. A. Lifshits OriginalPaper Pages: 41 - 47
Extension of the inverse method to the predicate calculus with equality S. Yu. Maslov OriginalPaper Pages: 48 - 58
A sufficient condition for the convergence of monotone sequences Yu. V. Matiyasevich OriginalPaper Pages: 59 - 63
Exact estimates of the provability of transfinite induction in the initial segments of arithmetic G. E. Mints OriginalPaper Pages: 85 - 91
Specialization of the use of axioms for deduction search in axiomatic theories with equality A. Yu. Plyushkevichene OriginalPaper Pages: 110 - 116
Elimination of cut-type rules from the Robinson and Presburger axiomatic systems A. Yu. Plyushkevichene OriginalPaper Pages: 117 - 125
A property of enumerable sets containing “complexly deducible” formulas A. O. Slisenko OriginalPaper Pages: 126 - 131
Reduced form of normal algorithms and a linear acceleration theorem G. S. Tseitin OriginalPaper Pages: 148 - 153
Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms G. S. Tseitin OriginalPaper Pages: 154 - 168
A pseudofundamental sequence that is not equivalent to any monotone sequence G. S. Tseitin OriginalPaper Pages: 169 - 175