RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1964 Volume 72, Pages 348–379 (Mi tm1615)
Constructive mathematical logic

Concerning the constructive interpretation of auxiliary formulae. I

N. A. Shanin




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026