|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1993 |
1. |
А. Г. Драгалин, “Теоремы о полноте и устранении сечения в классической логике высокого порядка. Конструктивные методы”, Изв. вузов. Матем., 1993, № 3, 3–18 ; A. G. Dragalin, “Completeness and cut-elimination theorems in higher-order classical logic. Constructive methods”, Russian Math. (Iz. VUZ), 37:3 (1993), 1–16 |
|
1980 |
2. |
А. Г. Драгалин, “Новые виды реализуемости и правило Маркова”, Докл. АН СССР, 251:3 (1980), 534–537 |
|
1971 |
3. |
А. Г. Драгалин, В. А. Любецкий, В. И. Фуксон, “Определимые последовательности счетных ординалов”, Докл. АН СССР, 196:6 (1971), 1263–1265 |
|
1969 |
4. |
А. Г. Драгалин, “Трансфинитные пополнения конструктивного арифметического исчисления”, Докл. АН СССР, 189:3 (1969), 458–460 |
5. |
А. Г. Драгалин, В. А. Любецкий, “Построение эффективно недостижимого кардинала в естественном расширении системы Цермело–Френкеля”, Докл. АН СССР, 187:6 (1969), 1225–1228 |
|
1968 |
6. |
А. Г. Драгалин, “Словарные операторные алгорифмы”, Зап. научн. сем. ЛОМИ, 8 (1968), 46–52 |
7. |
А. Г. Драгалин, “Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация”, Зап. научн. сем. ЛОМИ, 8 (1968), 32–45 |
|
1967 |
8. |
А. Г. Драгалин, “К обоснованию принципа конструктивного подбора А. А. Маркова”, Докл. АН СССР, 177:5 (1967), 997–1000 |
9. |
А. Г. Драгалин, “Конструктивные трансфинитные системы и построение алгорифма по трансфинитной рекурсии”, Докл. АН СССР, 175:5 (1967), 993–996 |
|
|
|
1974 |
10. |
А. Г. Драгалин, Н. М. Нагорный, Н. В. Петри, Н. А. Шанин, “Андрей Андреевич Марков (к семидесятилетию со дня рождения)”, УМН, 29:6(180) (1974), 187–191 ; A. G. Dragalin, N. M. Nagornyi, N. V. Petri, N. A. Shanin, “Andrei Andreevich Markov (on his seventieth birthday)”, Russian Math. Surveys, 29:6 (1974), 171–175 |
2
|
|