S. Albeverio/J. Luxemburg/M. Wolff (ed.): Advances in analysis,
probability and mathematical physics - contributions to nonstandard
analysis. Kluwer 1995, 250p.

David Ballard: Foundational aspects of non standard mathematics.
AMS 1994. Pds. 30. "In this interesting research monograph the author
shows that the theory of non-standard mathematics (Robinson, Nelson, etc.)
can be developed from a topological viewpoint, and that, by this approach,
new insight is gained." (Peter Schmitt)
 
17614 Paul Bankston: A survey of ultraproduct constructions in general topology.
Topology Atlas Inv. Contr. 8/2 (2003), 1-32.

17619 Paul Bankston: Some applications of the ultrapower theorem to the theory
of compacta. Internet 2005, 24p.
                                                           
John Bell: A primer of infinitesimal analysis.
Cambridge UP 1998, 120p. Pds. 20. "Der Autor gibt ... einen Zugang zur
Analysis über nilpotente Infinitesimale ... zahlreiche Anwendungen
in der Physik ... auch der axiomatisch logische Aufbau (an richtiger Stelle)
kommt nicht zu kurz, sowie ... ein Vergleich mit der Nonstandard-Analysis."
(H. Rindler)

14566 John Bell/Moshe Machover: A course in mathematical logic.
North-Holland 1997, 600p. $114. Contains a good chapter (44p.) on
nonstandard analysis. "We therefore regard nonstandard analysis as an
important tool of clarification, exposition and research - often beautiful,
sometimes very powerful, but never exclusive." (From page 573)
But in the historical remarks they should cite the Schmieden-Laugwitz paper.

John Bell/A. Slomson: Models and ultraproducts. North-Holland 1969.

17604 Vieri Benci/Mauro Di Nasso: Alpha-theory, an elementary axiomatics for
nonstandard analysis. Exp. Math. 21 (2003), 355-386.
"... the Alpha-theory ... represents a beautiful strengthening of the Omega-theory
and has the full strength of Robinson's nonstandard analysis. This is accomplished
by ... five easy to grasp axioms ... The Alpha-calculus is warmly recommended
to those who are interested in finding out what Robinson's theory is all about.
Even the specialists in the field will find a thing or two to ponder."
(W. Luxemburg)

17608 Vieri Benci/Mauro Di Nasso: A ring homomorphism is enough to get nonstandard analysis.
Bull. Belgian Math. Soc. 10 (2003), 1-10.

17605 Vieri Benci/Mauro Di Nasso: Numerosities of labelled sets: a new way of counting.
Adv. Math. 173 (2003), 50-67.

17598 Vieri Benci/Mauro Di Nasso: A purely algebraic characterization of the hyperreal numbers.
Proc. AMS 133/9 (2005), 2501-2505.
The hyperreal numbers of nonstandard analysis are characterized in purely algebraic
terms as homomorphic images of a suitable class of rings of functions.

17603 Vieri Benci/Mauro Di Nasso/Marco Forti: Hausdorff nonstandard extension.
Bol. Soc. Parana Mat. 20 (2002), 9-20.

17599 Vieri Benci/Mauro Di Nasso/Marco Forti: The eightfold path to nonstandard analysis.
Internet 2004, 46p.

Imme van den Berg: Principles of infinitesimal stochastic and
financial analysis. World Scientific 2000, 140p. $34.
Try first to understand definition 1.1.

A. Blass/Y. Zhang (ed.): Logic and applications. AMS 2005.

Nigel Cutland: Loeb measures in practice.
SLN Math. 1751 (2000), 122p. DM 44.

Joseph Dauben: Abraham Robinson. The creation of nonstandard analysis.
Princeton UP 1995, 540p. $63.

17732 Francine Diener/Marc Diener (ed.): Nonstandard analysis in practice.
Springer 1995, 250p. Eur 52.

17610 Mauro Di Nasso: On the foundations of nonstandard mathematics.
Math. Japonica 50/1 (1999), 131-160.

17611 Mauro Di Nasso: The generic filter property in nonstandard analysis.
Ann. Pure Appl. Logic 111 (2001), 23-37.

17609 Mauro Di Nasso: Nonstandard analysis by means of ideal values of sequences.
In Schuster/Berger/Osswald 2001, 63-73.

17612 Mauro Di Nasso: An axiomatic presentation of the nonstandard methods in
mathematics. J. Symb. Logic 67 (2002), 315-325.

17613 Mauro Di Nasso: I numeri infinitesimi e l'analisi nonstandard.
Archimede 2003/1, 13-22.

17606 Mauro Di Nasso/Marco Forti: On the ordering of the nonstandard
real line. AMS Contemp. Math. 302 (2002), 259-273.

17602 Mauro Di Nasso/Marco Forti: Topological and nonstandard extensions.
Monatshefte Math. 144 (2005), 89-112.

17601 Mauro Di Nasso/Marco Forti: Ultrafilter semirings and nonstandard submodels
of the Stone-Cech compactification of the natural numbers.
In Blass/Zhang 2005, 45-51.

17600 Mauro Di Nasso/Marco Forti: Hausdorff ultrafilters. Proc. AMS ... (ca. 2006), ...

Mauro Di Nasso/K. Hrbacek: Combinatorial principles in nonstandard analysis.
Ann. Pure Appl. Logic 119 (2003), 265-293.

17607 Mauro Di Nasso/Y. Zhang: Nonstandard analysis and an application to the symmetric
group on the natural numbers. AMS Contemp. Math. 302 (2002), 249-258.

17620 Josef Eschgfäller: Principles of filter theory and nonstandard analysis.
Manuscript 1984, 19p.

J. Fenstad: Nonstandard methods in stochastic analysis and mathematical physics.
Jb. DMV 1980, 167-180.

17673 Robert Goldblatt: Lectures on the hyperreals. Springer 1998, 290p. Eur 65.
"Der Titel bringt nicht zum Ausdruck, daß dieses Buch weit über
die üblichen Inhalte der Nonstandard-Analysis hinausgeht. Diese wird
zunächst in durchsichtiger Form aus der Ultraprodukt-Konstruktion
der hyperreellen Zahlen entwickelt. Diese Rekonstruktion der
klassischen Analysis wird dann mit der Behandlung interner und externer
Mengen verlassen. Die weiteren Kapitel entwickeln, basierend auf dem
Begriff eines Universums eine allgemeine Nonstandard-Methodologie, in
die die vorhergehenden Konstruktionen eingebettet werden. Diese
Verfahren gestatten dann Anwendungen außerhalb der Analysis auf
Maßtheorie (Loeb-Maß), Kombinatorik (Ramsey-Theorem), diverse
Vervollständigungen, Boolesche Algebren (Theorem von Stone) und den
Satz von Hahn-Banach. Der Autor ist erfolgreich bemüht, durch viele
Anmerkungen und Erläuterungen Beziehungen und Entwicklungen
transparent zu machen. Insgesamt ein faszinierendes Buch."
(W. Dörfler)

17680 Stefan Heinrich: Ultraproducts in Banach space theory.
J. reine angew. Math. 313 (1980), 72-104.

17710 C. Henson: Foundations of nonstandard analysis. A gentle introduction to
nonstandard extensions. Internet 1996, 51p.

17709 C. Henson: Applications of model theory and set theory to the geometry of
Banach spaces. Internet 2001, 1p.

C. Henson/L. Moore: Nonstandard analysis and the theory of Banach spaces.
In Hurd 1983, 27-112.

W. Honig: Non-standard logics and non-standard metrics in physics.
World Scientific 1995, 300p. 981-02-2251-3 (pb.). Pds 22.

Hoskins: Standard and nonstandard analysis. Ellis Horwood 1990, 270p. $82.

Karel Hrbacek: Axiomatic foundations for nonstandard analysis.
Fund. Math. 98 (1978), 1-19.

Albert Hurd (ed.): Nonstandard analysis - recent developments. Springer LN Math. 983 (1983).

Albert Hurd/P. Loeb: An introduction to nonstandard real analysis.
Academic Press 1985.

H. Keisler: Foundations of infinitesimal calculus.
Prindle, Boston 1976.

17674 Dieter Landers/Lothar Rogge: Nichtstandard-Analysis. Springer 1994, 480p. Eur 49.

Detlef Laugwitz: Infinitesimalkalkül. Bibl. Inst. 1978.

17644 Peter Loeb: An optimization of the Besicovitch covering.
Proc. AMS 118/3 (1993), 715-716.

17645 Peter Loeb/Horst Osswald: Nonstandard integration theory in topological
vector lattices. Monatsh. Math. 124 (1997), 53-82.

Robert Lutz/M. Goze: Nonstandard analysis. Springer LNM 881 (1981).

6451 William McLaughlin: Eine Loesung von Zenons Paradoxien.
Spektrum 1995/1, 66-71. Nichtstandardanalysis und Zenons Paradoxe, eine 
truebe Mischung.

17681 Rainer Nagel/Frank Räbiger: Superstable operators on Banach spaces.
Israel J. Math. 81 (1993), 213-226.

Edward Nelson: Internal set theory - a new approach to nonstandard analysis.
Bull. AMS 83 (1977), 1165-1198.

17642 Horst Osswald: Malliavin calculus in abstract Wiener space
using infinitesimals. Adv. Math. 176 (2003), 1-37.

17643 Horst Osswald: On the Clark-Ocone formula for the abstract Wiener space.
Adv. Math. 176 (2003), 38-52.

Edward Nelson: Predicative arithmetic. Princeton UP 1986.

27172 J. Ponstein: Nonstandard analysis. Internet, 140p.

1407 Alexander Prestel: Non-standard Analyis. In 1406 Ebbinghaus/, 213-233.

17708 Hermann Render: Nonstandard topology on function spaces with applications
to hyperspaces. Trans. AMS 336/1 (1993), 101-119.

1520 Michael Richter: Ideale Punkte, Monaden und Nichtstandardmethoden.
Vieweg 1982.

17703 Alain Robert: Nonstandard analysis. Dover 2003, 160p. Eur 17.

17723 Abraham Robinson: Non-standard analysis. Princeton UP 1996, 290p. Eur 40.

Elemer Rosinger: Short introduction to nonstandard analysis. Internet 2004, 197p.

Curt Schmieden/Detlef Laugwitz: Eine Erweiterung der Infinitesimalrechnung.
Math. Zeitschr. 69 (1958), 1-39.

Peter Schuster/U. Berger/Horst Osswald (ed.): Reuniting the antipodes - constructive
and nonstandard views of the continuum. Kluwer 2001.

5171 Adrian Simpson: The infedel is innocent.
Math. Intell. 12/3 (1990), 43-51. An essay on non-standard analyis.

Detlef Spalt: Curt Schmieden's non-standard analysis - a method of dissolving
standard paradoxes of analysis. Centaurus 43/3-4 (2001), 137-175.

K. Stroyan/W. Luxemburg: An introduction to the theory of infinitesimals.
Academic Press 1976.

D. Tall: Infinitesimals constructed algebraically and interpreted 
geometrically. Univerity of Warwick 1979.

Martin Väth: Nonstandard analysis. Birkhäuser 2006, 260p.