|
Trudy Matematicheskogo Instituta imeni V. A. Steklova, 1964, Volume 72, Pages 195–227
(Mi tm1612)
|
|
|
|
Constructive mathematical logic
A constructive calculus of statements with strong negation
N. N. Vorob'ev
Citation:
N. N. Vorob'ev, “A constructive calculus of statements with strong negation”, 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, 195–227
Linking options:
https://www.mathnet.ru/eng/tm1612 https://www.mathnet.ru/eng/tm/v72/p195
|
Statistics & downloads: |
Abstract page: | 425 | Full-text PDF : | 673 |
|