RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive

Trudy Mat. Inst. Steklov., 1973 Volume 129, Pages 203–266 (Mi tm3174)

This article is cited in 3 papers

A hierarchy of ways of understanding judgments in constructive mathematics

N. A. Shanin


UDC: 51.01


 English version:
Proceedings of the Steklov Institute of Mathematics, 1973, 129, 209–271

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025