Illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang conjecture, this book updates developments in the applications of model theory to algebraic geometry. The detailed text includes comments and examples for the specialist and uninitiated.