|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1989 |
1. |
Ф. Р. Кашапова, “Интуиционистская теория функционалов высокого типа”, Матем. заметки, 45:3 (1989), 66–79 ; F. R. Kashapova, “Intuitionistic theory of functionals of a high type”, Math. Notes, 45:3 (1989), 228–237 |
2
|
|
1984 |
2. |
Ф. Р. Кашапова, “Выделение классов конструктивно выводимых теорем в многосортной интуиционистической теории множеств, эквивалентной арифметике второго порядка”, Докл. АН СССР, 276:4 (1984), 782–786 |
3. |
Ф. Р. Кашапова, “Конструктивная теория множеств с типами, совместность с тезисом Чёрча”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1984, № 4, 72–75 |
|