Geodesic

Problems of the constructive direction in mathematics. Part 3

Foreword of editor
p. 3-4
Certain properties of E.\,L.~Post's apparatus of canonical calculi
p. 5-56
On E.\,L.~Post's ``tag problem''
p. 57-68
A~method of presenting the theory of algorithms and enumerable sets
p. 69-98
Граф-схемы с~памятью
p. 99-192
A~constructive calculus of statements with strong negation
p. 195-227
The calculi of constructive logic with subordinate variables
p. 228-343
Concerning a~generalized principle of constructive selection
p. 344-347
Concerning the constructive interpretation of auxiliary formulae.~I
p. 348-379
On predicate and operator variants of the formation of the theories of constructive mathematics
p. 383-436
On constructive mappings of a~circle into itself
p. 437-461
Certain questions of the theory of polynomials with constructive real coefficients
p. 462-487
On certain algorithmic problems connected with arithmetic operations on duplexes
p. 488-523
Example of a~non-discontinous but not continuous constructive operator in a~metric space
p. 524-532
On constructive non-separable spaces
p. 533-536
Three theorems on constructive functions
p. 537-543
Corrections and notes to the collection ``Problems of the constructive direction in mathematics, part~2'' in Trudy Mat. Inst. Steklov. 67 (1962)
p. 544-545