Lecture Notes in Logic 25.
This book is a collection of peer-reviewed papers from a conference on 'Nonstandard Methods And Applications In Mathematics' that was held in Pisa, Italy. The papers address nonstandard analysis, which is one of the great achievements of modern applied mathematical logic. They focus on its important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, and they show how this methodology is now well established as a tool for both research and teaching.
