Constructive nonstandard analysis, Methods et analyse non standard (1996)

by Erik Palmgren
Venue:Cahiers du Centre de Logique