Neštandardné číselné systémy a odovodnenie Leibnizovho infinitezimálneho počtu W. A. J. Luxemburg (1977) Pokroky matematiky, fyziky a astronomie