|
MATHEMATICS
Determination of classes of constructively derivable theorems in a
many-sorted intuitionistic set theory equivalent to a second-order
arithmetic
F. R. Kashapova Lomonosov Moscow State University
Citation:
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
Linking options:
https://www.mathnet.ru/eng/dan9617 https://www.mathnet.ru/eng/dan/v276/i4/p782
|
Statistics & downloads: |
Abstract page: | 89 | Full-text PDF : | 37 |
|