Name: Modal Logic Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
SKU: 3207994
Price: 2773.84 MXN
Availability: InStock
Author: Blackburn, Patrick ; Rijke, Maarten de ; Venema, Yde
ISBN: 9780521527149

portada Modal Logic Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Modal Logic Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formato

Libro Físico

Autor

Patrick Blackburn

Maarten de Rijke

Yde Venema

Editorial

Cambridge University Press

Año

2002

Idioma

Inglés

N° páginas

578

Encuadernación

Tapa Blanda

Dimensiones

22.6x15.6x3 cm

Peso

0.89 kg.

ISBN

9780521527149

ISBN13

9780521527149

Categorías

Medicina: cuestiones generales
Lógica matemática
Lenguajes de programación y extensión/scripting: general

Modal Logic Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Patrick Blackburn (Autor) · Maarten de Rijke (Autor) · Yde Venema (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 4,623.07$ 2,773.84

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 2,773.84

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

Agregar a lista de deseos

Reseña del libro "Modal Logic Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.