RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1968
Volume 98,
Pages
121–130
(Mi tm2929)
Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors
G. E. Mints
UDC:
51.01:164
Fulltext:
PDF file (1264 kB)
English version:
Proceedings of the Steklov Institute of Mathematics, 1968,
98
,
135–145
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (1264 kB)