Nonstandard Methods in Ramsey Theory and Combinatorial Number TheoryMauro Di Nasso, Isaac Goldbring, Martino Lupini · First published 2019Open the Tome
Nonstandard Methods and Applications in MathematicsNigel J. Cutland, Mauro Di Nasso, Ross, David A. · First published 2006Open the Tome
