|
|
Publications in Math-Net.Ru |
Citations |
|
1989 |
1. |
F. R. Kashapova, “Intuitionistic theory of functionals of a high type”, Mat. Zametki, 45:3 (1989), 66–79 ; Math. Notes, 45:3 (1989), 228–237 |
2
|
|
1984 |
2. |
F. R. Kashapova, “Determination of classes of constructively derivable theorems in a
many-sorted intuitionistic set theory equivalent to a second-order
arithmetic”, Dokl. Akad. Nauk SSSR, 276:4 (1984), 782–786 |
3. |
F. R. Kashapova, “Constructive set theory with types, and consistency with Church's thesis”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 4, 72–75 |
|