TY  - JOUR
AU  - Čuda, Karel
TI  - An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1980
SP  - 433
EP  - 445
VL  - 21
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1980__21_3_a2/
LA  - en
ID  - CMUC_1980__21_3_a2
ER  -