Кашапова Ф Р

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

1. Интуиционистская теория функционалов высокого типа
   
   Матем. заметки, 45:3 (1989),  66–79
2. Выделение классов конструктивно выводимых теорем в многосортной интуиционистической теории множеств, эквивалентной арифметике второго порядка
   
   Докл. АН СССР, 276:4 (1984),  782–786
3. Конструктивная теория множеств с типами, совместность с тезисом Чёрча
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 4,  72–75