"The text is well written and easy to read. A great tool for any person interested in learning relations between functional analysis and model theory." — MathSciNet During the last two decades, methods that originated within mathematical logic have exhibited powerful applications to Banach space theory, particularly set theory and model theory. This volume constitutes the first self-contained introduction to techniques of model theory in Banach space theory. The area of research has grown rapidly since this monograph's first appearance, but much of this material is still not readily available elsewhere. For instance, this volume offers a unified presentation of Krivine's theorem and the Krivine-Maurey theorem on stable Banach spaces, with emphasis on the connection between these results and basic model-theoretic notions such as types, indiscernible sequences, and ordinal ranks. Suitable for advanced undergraduates and graduate students of mathematics, this exposition does not presuppose expertise in either model theory or Banach space theory. Numerous exercises and historical notes supplement the text.