http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Nonstandard methods and applications in mathematics
A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, the methodology is now well established as a tool for both research and teaching, and has become a fruitful field of investigation in its own right. This book is a collection of peer-reviewed papers solicited from some of the participants of this conference with the aim of providing something more timely than a textbook, but less ephemeral than a conventional proceedings. It contains both survey papers and research articles with special consideration for one, "Nonstandard analysis at pre-university level: naive magnitude analysis" in which the author discusses his experience teaching calculus through an infinitesimal approach.
Chapter FOU NDATIONS -- chapter eT{A), My y A -- chapter e S for almost all nep -- chapter <KAJe *p} is the standard part of the internal subset -- chapter e I, and (/(̂c8) holds by Transfer, so cs = cl. Similarly for functions. -- chapter PUR E MATHEMATICS -- chapter AeA then it follows from H e * A is infinite, so -- chapter x, X2).
edited by Nigel J. Cutland, Mauro Di Nasso and David A. Ross.
Includes bibliographical references and index.