Book

Developments in Nonstandard Mathematics

by Nigel J. Cutland, Vitor Neves, A. F. Oliveira, Jose Sousa-Pinto