Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics N. A. Shanin OriginalPaper Pages: 3183 - 3191
Infinite sets of primes, admitting diophantine representations in eight variables M. A. Vsemirnov OriginalPaper Pages: 3200 - 3208
A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers Yu. V. Matiyasevich OriginalPaper Pages: 3228 - 3233
A method of epsilon substitution for the predicate logic with equality G. E. Mints OriginalPaper Pages: 3234 - 3252
Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic R. Pliuškevičius OriginalPaper Pages: 3253 - 3266