|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 1968, Volume 98, Pages 26–87
(Mi tm2926)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
The inverse method for establishing deducibility for logical calculi
S. Yu. Maslov
Citation:
S. Yu. Maslov, “The inverse method for establishing deducibility for logical calculi”, Logical and logical-mathematical calculus. Part I, Trudy Mat. Inst. Steklov., 98, 1968, 26–87; Proc. Steklov Inst. Math., 98 (1968), 25–95
Linking options:
https://www.mathnet.ru/eng/tm2926 https://www.mathnet.ru/eng/tm/v98/p26
|
Statistics & downloads: |
Abstract page: | 1129 | Full-text PDF : | 575 |
|