|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 1973, Volume 129, Pages 203–266
(Mi tm3174)
|
|
|
|
This article is cited in 3 scientific papers (total in 5 papers)
A hierarchy of ways of understanding judgments in constructive mathematics
N. A. Shanin
Citation:
N. A. Shanin, “A hierarchy of ways of understanding judgments in constructive mathematics”, Problems of the constructive direction in mathematics. Part 6, Trudy Mat. Inst. Steklov., 129, 1973, 203–266; Proc. Steklov Inst. Math., 129 (1973), 209–271
Linking options:
https://www.mathnet.ru/eng/tm3174 https://www.mathnet.ru/eng/tm/v129/p203
|
|