RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1972
Volume 121,
Pages
136–164
(Mi tm3115)
Sequential variants of applied predicate calculi without structural rules of inference
M. G. Rogava
UDC:
51.01 : 164
Fulltext:
PDF file (3401 kB)
English version:
Proceedings of the Steklov Institute of Mathematics, 1972,
121
,
151–181
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024