Models and games
Auteur :
Väänänen, Jouko
Éditeur :
Cambridge University Press
ISBN :
9780521518123
Date de publication :
5 mai 2011
Dimensions :
22,9 x 15,2 x 2,5 cm
Poids :
730 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.