%0 Journal Article %A Yu. P. Krivenkov %T The regular formalization of the~basic concepts of the~quasidifferential calculus %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1985 %P 199-200 %V 40 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_1985_40_4_a41/ %G en %F RM_1985_40_4_a41