|
Trudy Matematicheskogo Instituta imeni V. A. Steklova, 1964, Volume 72, Pages 228–343
(Mi tm1613)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Constructive mathematical logic
The calculi of constructive logic with subordinate variables
A. V. Idel'son
Citation:
A. V. Idel'son, “The calculi of constructive logic with subordinate variables”, 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, 228–343
Linking options:
https://www.mathnet.ru/eng/tm1613 https://www.mathnet.ru/eng/tm/v72/p228
|
Statistics & downloads: |
Abstract page: | 135 | Full-text PDF : | 160 | First page: | 1 |
|