Geodesic

Problems of the constructive direction in mathematics. Part 1

Preface of the editor
p. 3-4
Some generalizations of the concept of a normal algorithm
p. 7-65
A minimal alphabet of algorithms over a given alphabet
p. 66-74
Equivalence of normal algorithms and recursive functions
p. 75-139
Some questions in the theory of algorithms
p. 140-171
An associative calculus with an insoluble problem of equivalence
p. 172-189
A new algorithm of derivability in a constructive calculus of statements
p. 193-225
A constructive interpretation of mathematical judgments
p. 226-311
Constructive functions
p. 315-348