Кузичев Андрей Александрович

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

1. Об одном консервативном расширении формальной арифметики
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, № 6,  77–78
2. О представлении арифметики в комбинаторнополных системах
   
   Докл. АН СССР, 278:3 (1984),  537–541
3. Добавление некомбинаторных соотношений к исчислению $\lambda$-конверсии
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 6,  34–36
4. О погружении формальной арифметики в комбинаторно полные системы
   
   Докл. АН СССР, 250:6 (1980),  1310–1315