Name: Models and Games Hardback (Cambridge Studies in Advanced Mathematics) (en Inglés)
SKU: 4416375
Price: 1801.38 MXN
Availability: InStock
Author: Vaananen, Jouko
ISBN: 9780521518123

portada Models and Games Hardback (Cambridge Studies in Advanced Mathematics) (en Inglés)

Models and Games Hardback (Cambridge Studies in Advanced Mathematics) (en Inglés)

Formato

Libro Físico

Autor

Jouko Väänänen

Editorial

Cambridge University Press

Año

2011

Idioma

Inglés

N° páginas

380

Encuadernación

Tapa Dura

Dimensiones

22.9x15.5x2.3 cm

Peso

0.68 kg.

ISBN13

9780521518123

N° edición

Categorías

Lógica matemática

Models and Games Hardback (Cambridge Studies in Advanced Mathematics) (en Inglés)

Jouko Väänänen (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 15 a 20 días háb.

$ 4,003.06$ 1,801.38

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 1,801.38

¡Envío Gratis! Llega entre el 25 Sep y el 05 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Models and Games Hardback (Cambridge Studies in Advanced Mathematics) (en Inglés)"

This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.