Models and Games

Omtale

This gentle introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht–Fraïssé game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applications.