Geodesic

Problems of the constructive direction in mathematics. Part 4

L.\,Е.\,J.~Brouwer (obituary)
The concept of strict representability in the general theory of calculi
p. 3-42
The representation of recursively enumerable sets by local calculi
p. 43-49
Simple examples of unsolvable canonical calculi
p. 50-88
Algorithms covering a~given algorithm
p. 89-105
Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction
p. 106-112
Constructive mathematical theories consistent with classical logic
p. 113-122
A~language of constructive mathematics involving systems of sets
p. 123-141
On constructive mappings of finite polyhedra
p. 142-163
On certain types of continuity of constructive operators
p. 164-186
Arithmetical operations on certain sets of duplexes
p. 187-207
The construction of maximal continuity regulators for constructive functions
p. 208-249
On closed and open sets in constructive topological spaces
p. 250-256
Corrigenda and addenda to the article ``On predicate and operator variants of the formation of the theories of constructive mathematics''
p. 257-258
Corrections and notes to the collection ``Problems of the constructive direction in mathematics, part~3'' in Trudy Mat. Inst. Steklov. 72 (1964)
p. 259-263