TY  - JOUR
AU  - Yu. P. Krivenkov
TI  - The regular formalization of the~basic concepts of the~quasidifferential calculus
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1985
SP  - 199
EP  - 200
VL  - 40
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1985_40_4_a41/
LA  - en
ID  - RM_1985_40_4_a41
ER  -