Frege meets Dedekind: A neologicist treatment of real analysis
scientific article; zbMATH DE number 1877076
scientific article