Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation and logarithm. They are suitable for modeling "strongly monotonic" or "tame" asymptotic solutions to differential equations and find their origin in at least three different areas of mathematics: analysis, model theory and computer algebra. They play a crucial role in Ecalle's proof of Dulac's conjecture, which is closely related to Hilbert's 16th problem. The aim of the present book is to give a detailed and self-contained exposition of the theory of...