More infinity for a better finitism
Elementary Recursive Nonstandard Analysis
scientific article; zbMATH DE number 5943665
scientific article