|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 1968, Volume 98, Pages 112–120
(Mi tm2928)
|
|
|
|
The construction of conservative logical inferences
G. E. Mints
Citation:
G. E. Mints, “The construction of conservative logical inferences”, Logical and logical-mathematical calculus. Part I, Trudy Mat. Inst. Steklov., 98, 1968, 112–120; Proc. Steklov Inst. Math., 98 (1968), 125–134
Linking options:
https://www.mathnet.ru/eng/tm2928 https://www.mathnet.ru/eng/tm/v98/p112
|
Statistics & downloads: |
Abstract page: | 207 | Full-text PDF : | 91 |
|