Geodesic

Problems of the constructive direction in mathematics. Part 6

Constructive variants of the laws of large numbers
p. 3-23
The complexity of the expansion of algebraic irrationalities in continued fractions
p. 24-29
Identification of the symmetry predicate by means of multihead Turing machines with input
p. 30-202
A hierarchy of ways of understanding judgments in constructive mathematics
p. 203-266