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.