The final chapter provides a concise modern introduction to the logic of capital, emphasizing the continuity in spirit and technique with a theoretical model is limited. The spirit underlying this involves the use of different fragment and hierarchies within first-order, second order, fixed-point, and infinitary logic to obtain information about phenomena in complexity theory and combinatorics. This book emphasizes the use of combinatorial games, such as the extension and improvement of Ehrenfeucht-Fraisse game of gravel, as a powerful way to analyze the expressive power of logic, and illustrate how the sense of model theory and combinatorics, such as o-minimality and treewidth, arise naturally in applying theory to model for database theory and AI. Students of logic and computer science will find here the tools necessary to begin research model theory is limited, and all readers will experience the excitement of a dynamic area of application logic in computer science.