|
Trudy Matematicheskogo Instituta imeni V. A. Steklova, 1964, Volume 72, Pages 348–379
(Mi tm1615)
|
|
|
|
Constructive mathematical logic
Concerning the constructive interpretation of auxiliary formulae. I
N. A. Shanin
Citation:
N. A. Shanin, “Concerning the constructive interpretation of auxiliary formulae. I”, Problems of the constructive direction in mathematics. Part 3, Collection of articles. To the 60th anniversary of Andrei Andreevich Markov, Trudy Mat. Inst. Steklov., 72, Nauka, Moscow–Leningrad, 1964, 348–379
Linking options:
https://www.mathnet.ru/eng/tm1615 https://www.mathnet.ru/eng/tm/v72/p348
|
Statistics & downloads: |
Abstract page: | 163 | Full-text PDF : | 103 |
|