|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 1968, Volume 98, Pages 155–202
(Mi tm2931)
|
|
|
|
A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
R. A. Plyushkevitchus
Citation:
R. A. Plyushkevitchus, “A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws”, Logical and logical-mathematical calculus. Part I, Trudy Mat. Inst. Steklov., 98, 1968, 155–202; Proc. Steklov Inst. Math., 98 (1968), 175–229
Linking options:
https://www.mathnet.ru/eng/tm2931 https://www.mathnet.ru/eng/tm/v98/p155
|
Statistics & downloads: |
Abstract page: | 177 | Full-text PDF : | 92 |
|