A maximal sequence of classes transformable by primitive recursion in a given class A. P. Bel'tyukov OriginalPaper Pages: 1 - 10
A lower bound for the computational complexity of a set of disjunctives in a monotone basis D. Yu. Grigor'ev OriginalPaper Pages: 11 - 14
An approach to the constructivization of Cantor's set theory L. N. Gordeev OriginalPaper Pages: 22 - 28
Herbrand strategies and the “greater deducibility” relation S. Yu. MaslovS. A. Norgela OriginalPaper Pages: 28 - 33
Primes are nonnegative values of a polynomial in 10 variables Yu. V. Matijasevič OriginalPaper Pages: 33 - 44
How to prove that two classes of simple primitive recursive functions are distinct S. V. Pakhomov OriginalPaper Pages: 63 - 67
A simplified proof of the real-time recognizability of palindromes on turing machines A. O. Slisenko OriginalPaper Pages: 68 - 77