In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's nonstandard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004).
Ruokolainen wrote:
This mathematical logic-related article is a stub.
You can help Wikipedia by expanding it.