Драгалин Альберт Григорьевич

Публикации в базе данных Math-Net.Ru

1. Теоремы о полноте и устранении сечения в классической логике высокого порядка. Конструктивные методы
   
   Изв. вузов. Матем., 1993, № 3,  3–18
2. Новые виды реализуемости и правило Маркова
   
   Докл. АН СССР, 251:3 (1980),  534–537
3. Определимые последовательности счетных ординалов
   
   Докл. АН СССР, 196:6 (1971),  1263–1265
4. Трансфинитные пополнения конструктивного арифметического исчисления
   
   Докл. АН СССР, 189:3 (1969),  458–460
5. Построение эффективно недостижимого кардинала в естественном расширении системы Цермело–Френкеля
   
   Докл. АН СССР, 187:6 (1969),  1225–1228
6. Словарные операторные алгорифмы
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  46–52
7. Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  32–45
8. К обоснованию принципа конструктивного подбора А. А. Маркова
   
   Докл. АН СССР, 177:5 (1967),  997–1000
9. Конструктивные трансфинитные системы и построение алгорифма по трансфинитной рекурсии
   
   Докл. АН СССР, 175:5 (1967),  993–996


10. Андрей Андреевич Марков (к семидесятилетию со дня рождения)
    
    УМН, 29:6(180) (1974),  187–191