RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1964 Volume 72, Pages 228–343 (Mi tm1613)
This article is cited in 1 paper

Constructive mathematical logic

The calculi of constructive logic with subordinate variables

A. V. Idel'son




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024