RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1967
Volume 93,
Pages
106–112
(Mi tm2828)
Constructive mathematical logic
Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction
A. V. Idel'son
UDC:
51.01+164
Fulltext:
PDF file (631 kB)
English version:
Proceedings of the Steklov Institute of Mathematics, 1967,
93
,
133–141
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (631 kB)