RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1969
Volume 16,
Pages
175–184
(Mi znsl2350)
Elimination of cut-type rules in axiomatic systems with equality
A. Y. Plushkevichene
Fulltext:
PDF file (469 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (469 kB)