Model theory has made substantial contributions to semialgebraic subanalytic p-adic rigid and diophantine geometry. In this book originally published in 2000 leading experts provide the necessary background to understanding the model theory and mathematics behind these applications.