Models and games

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 instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applications.

שנה

2011

שפה

English

סדרה

Cambridge studies in advanced mathematics -- 132

הוצאה

Cambridge University Press

מהדורות

1

עמודים

367

ISBN

9780521518123

מקור הנתונים: Wikidata