RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1968
Volume 98,
Pages
112–120
(Mi tm2928)
The construction of conservative logical inferences
G. E. Mints
UDC:
51.01:164
Fulltext:
PDF file (942 kB)
English version:
Proceedings of the Steklov Institute of Mathematics, 1968,
98
,
125–134
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025