This book reflects the progress made in the forty years since the appearance of Abraham Robinson's revolutionary book Nonstandard Analysis in the foundations of mathematics and logic, number theory, statistics and probability, in...