|
|
Trudy Matematicheskogo Instituta imeni V. A. Steklova, 1967, Volume 93, Pages 257–258
(Mi tm2836)
|
|
|
|
Corrigenda and addenda to the article “On predicate and operator variants of the formation of the theories of constructive mathematics”
G. E. Mints
Citation:
G. E. Mints, “Corrigenda and addenda to the article “On predicate and operator variants of the formation of the theories of constructive mathematics””, Problems of the constructive direction in mathematics. Part 4, Work collection, Trudy Mat. Inst. Steklov., 93, Nauka, Leningrad, 1967, 257–258; Proc. Steklov Inst. Math., 93 (1967), 327–329
Linking options:
https://www.mathnet.ru/eng/tm2836 https://www.mathnet.ru/eng/tm/v93/p257
|
|