TY - JOUR AU - Demuth, Osvald TI - Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике JO - Commentationes Mathematicae Universitatis Carolinae PY - 1983 SP - 301 EP - 316 VL - 24 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1983__24_2_a9/ LA - ru ID - CMUC_1983__24_2_a9 ER -