Models and Games

This gentle introduction to logic and model theory is based on a systematic use of three important g...