|
|
|
Publications in Math-Net.Ru |
Citations |
|
1967 |
| 1. |
A. V. Idel'son, “Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction”, Trudy Mat. Inst. Steklov., 93 (1967), 106–112    ; Proc. Steklov Inst. Math., 93 (1967), 133–141 |
| 2. |
A. V. Idel'son, “Algorithms covering a given algorithm”, Trudy Mat. Inst. Steklov., 93 (1967), 89–105 ; Proc. Steklov Inst. Math., 93 (1967), 111–132 |
|
1964 |
| 3. |
A. V. Idel'son, “The calculi of constructive logic with subordinate variables”, Trudy Mat. Inst. Steklov., 72 (1964), 228–343 |
1
|
|
