Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
@article{CMUC_1984__25_4_a3, author = {\v{C}uda, Karel}, title = {Translation of nonstandard definitions to standard ones}, journal = {Commentationes Mathematicae Universitatis Carolinae}, pages = {615--634}, publisher = {mathdoc}, volume = {25}, number = {4}, year = {1984}, mrnumber = {782012}, zbl = {0574.03051}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CMUC_1984__25_4_a3/} }
Čuda, Karel. Translation of nonstandard definitions to standard ones. Commentationes Mathematicae Universitatis Carolinae, Tome 25 (1984) no. 4, pp. 615-634. http://geodesic.mathdoc.fr/item/CMUC_1984__25_4_a3/