A reduction of propositional tautologihood to the coloring of graphs in three colors G. V. DavydovP. Yu. Suvorov OriginalPaper Pages: 251 - 254
An upper estimate of the finite-state complexity for a class of generating schemes containing complements and intersections Dang Hui RuanG. S. Tseitin OriginalPaper Pages: 254 - 262
Solutions of systems consisting of word equations and inequalities in lengths of words N. K. Kosovskii OriginalPaper Pages: 262 - 265
From what does the law of the excluded middle follow? V. Ya. Kreinovich OriginalPaper Pages: 266 - 271
Constructivization of the concepts ofε entropy and ε capacity V. Ya. Kreinovich OriginalPaper Pages: 271 - 276
Constructive functionals in spaces of almost-periodic functions M. Margenshtern OriginalPaper Pages: 276 - 289
Existence of noneffectivizable estimates in the theory of exponential diophantine equations Yu. V. Matiyrasevich OriginalPaper Pages: 299 - 311
New proof of the uniqueness theorem for constructive differentiable functions of a complex variable V. P. Orevkov OriginalPaper Pages: 329 - 334
A simple syntactic definition of all classes of the Grzegorczyk hierarchy S. V. Pakhomov OriginalPaper Pages: 334 - 337