by J. Väänänen
This introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht-Fraisse game and the model existence game. Over 500 exercises are included and instructor…