Description

Book Synopsis

This gentle 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.

Trade Review

'The book can be used for reference purposes, as well as for teaching and self-study at the graduate level. It is a welcome addition to the literature on game-theoretic model theory.' Daniele Mundici, Zentralblatt MATH
'… an interesting book that, while written by a logician, has lots of things to offer to computer scientists with theoretical inclinations.' Panos Rondogiannis, Theory and Practice of Logic Programming
'… original and very ambitious … covers a remarkable amount of material, much in the main text and even more in over 500 exercises.' The Mathematical Intelligencer

Table of Contents

Preface; 1. Introduction; 2. Preliminaries and notation; 3. Games; 4. Graphs; 5. Models; 6. First order logic; 7. Infinitary logic; 8. Model theory of infinitary logic; 9. Stronger infinitary logics; 10. Generalized quantifiers; References; Index.

Models and Games

    Product form

    A Hardback by Jouko Väänänen

    £64.99

    Includes FREE delivery

    Order before 4pm on Monday for delivery by Fri 27 Nov 2026.

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Models and Games by Jouko Väänänen

      Book details

      Publisher Cambridge University Press
      Published 5 May 2011
      ISBN-13 9780521518123
      978-0521518123
      ISBN-10 0521518121
      Also in:
      Mathematical logic

      Description

      Book Synopsis

      This gentle 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.

      Trade Review

      'The book can be used for reference purposes, as well as for teaching and self-study at the graduate level. It is a welcome addition to the literature on game-theoretic model theory.' Daniele Mundici, Zentralblatt MATH
      '… an interesting book that, while written by a logician, has lots of things to offer to computer scientists with theoretical inclinations.' Panos Rondogiannis, Theory and Practice of Logic Programming
      '… original and very ambitious … covers a remarkable amount of material, much in the main text and even more in over 500 exercises.' The Mathematical Intelligencer

      Table of Contents

      Preface; 1. Introduction; 2. Preliminaries and notation; 3. Games; 4. Graphs; 5. Models; 6. First order logic; 7. Infinitary logic; 8. Model theory of infinitary logic; 9. Stronger infinitary logics; 10. Generalized quantifiers; References; Index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account