Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1984_276_4_a1, author = {F. R. Kashapova}, title = {Determination of classes of constructively derivable theorems in a}, journal = {Doklady Akademii Nauk}, pages = {782--786}, publisher = {mathdoc}, volume = {276}, number = {4}, year = {1984}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1984_276_4_a1/} }
F. R. Kashapova. Determination of classes of constructively derivable theorems in a. Doklady Akademii Nauk, Tome 276 (1984) no. 4, pp. 782-786. http://geodesic.mathdoc.fr/item/DAN_1984_276_4_a1/