RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1967
Volume 4,
Pages
174–188
(Mi znsl2220)
A sequential calculus of the constructive logic for the normal formulae without structural rules of inference
R. A. Plyushkevitchus
Fulltext:
PDF file (484 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024