RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1968
Volume 98,
Pages
155–202
(Mi tm2931)
A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
R. A. Plyushkevitchus
UDC:
51.01:164
Fulltext:
PDF file (4420 kB)
English version:
Proceedings of the Steklov Institute of Mathematics, 1968,
98
,
175–229
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (4420 kB)