@article{CMUC_1980__21_3_a2, author = {\v{C}uda, Karel}, title = {An elimination of infinitely small quantities and infinitely large numbers (within the framework of {AST)}}, journal = {Commentationes Mathematicae Universitatis Carolinae}, pages = {433--445}, publisher = {mathdoc}, volume = {21}, number = {3}, year = {1980}, mrnumber = {590124}, zbl = {0445.03042}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CMUC_1980__21_3_a2/} }