Relationship between the classical and constructive developments of mathematical analysis M. G. Gel'fond OriginalPaper Pages: 347 - 352
Increase of the complexity of functions by an application of multiple recursion E. Ya. Dantsih OriginalPaper Pages: 353 - 357
Relationship between sheaf spaces and numbered sets with the C 2 * property Yu. L. Ershov OriginalPaper Pages: 358 - 360
Properties of the solutions of equations in a free semigroup N. K. Kosovskii OriginalPaper Pages: 361 - 367
Recognition of a self-crossing of a plane trajectory by a kolmogorov algorithm M. V. Kubinets OriginalPaper Pages: 374 - 382
Noncompact closed ball in a constructive compact metric space V. A. LifshitsV. P. Chernov OriginalPaper Pages: 390 - 394
Arithmetical representations of enumerable sets with a small number of quantifiers Yu. V. Matiyasevich OriginalPaper Pages: 410 - 416
A specialization of the form of deductions in gentzen calculi and its applications V. P. Orevkov OriginalPaper Pages: 429 - 433
Properties of graphs of functions in the Grzegorczyk hierarchy S. V. Pakhomov OriginalPaper Pages: 434 - 436
Extension of the inverse method to axiomatic theories with equality A. Yu. Plyushkevichene OriginalPaper Pages: 437 - 443
Equational calculus for primitive recursive rational-valued functions M. Kh. Fakhmi OriginalPaper Pages: 444 - 448
Topological variants of the continuity theorem for mappings and related theorems V. P. Chernov OriginalPaper Pages: 456 - 464