|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1967 |
1. |
А. В. Идельсон, “Замечания об исчислениях конструктивной логики с подчиненными переменными и аксиомой полной индукции”, Тр. МИАН СССР, 93 (1967), 106–112 ; A. V. Idel'son, “Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction”, Proc. Steklov Inst. Math., 93 (1967), 133–141 |
2. |
А. В. Идельсон, “Об алгорифмах, накрывающих данный алгорифм”, Тр. МИАН СССР, 93 (1967), 89–105 ; A. V. Idel'son, “Algorithms covering a given algorithm”, Proc. Steklov Inst. Math., 93 (1967), 111–132 |
|
1964 |
3. |
А. В. Идельсон, “Исчисления конструктивной логики с подчиненными переменными”, Тр. МИАН СССР, 72 (1964), 228–343 |
1
|
|