130

130

Марков А.А. О логике конструктивной математики. М., 1972.