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 applica...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
| Series: | Cambridge studies in advanced mathematics
132. |
| Subjects: |