TY  - JOUR
AU  - F. R. Kashapova
TI  - Determination of classes of constructively derivable theorems in a
JO  - Doklady Akademii Nauk
PY  - 1984
SP  - 782
EP  - 786
VL  - 276
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1984_276_4_a1/
LA  - ru
ID  - DAN_1984_276_4_a1
ER  -