@article{TRSPY_1962_67_a5, author = {I. D. Zaslavsky}, title = {Some properties of constructive real numbers and constructive functions}, journal = {Informatics and Automation}, pages = {385--457}, publisher = {mathdoc}, volume = {67}, year = {1962}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TRSPY_1962_67_a5/} }