Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1

Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark

ISBN 10: 0198537697 ISBN 13: 9780198537694

Editorial: Oxford University Press, 1994

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por OM Books, Sevilla, SE, Espa�a

Vendedor de AbeBooks desde 27 de enero de 2022

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Bueno

Precio: EUR 499,00 Convertir moneda

Gratis gastos de env�o en Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 9780198537694

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1

Editor

Oxford University Press

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

0198537697

ISBN 13

9780198537694

Encuadernaci�n

Encuadernaci�n de tapa dura

Estado

Usado - bueno

Cat�logos de vendedores

Acerca de

Sinopsis

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.

Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Librer�a on-line de libros usados

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

OASIS MEDIA BOOKS SC
CALLE TUCUMAN, NUM. 7 PLANTA 7, PUERTA C, Sevilla, 41006, Spain

Condiciones de venta y env�o

Condiciones de venta

Librer�a on-line de libros usados

Derecho a cancelaci�n

Condiciones de env�o

Los gastos de env�o se calculan para env�os est�ndar.

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o en Espa�a

Tarifas de env�o en Espa�a
Cantidad del pedido	De 15 a 30 d�as h�biles	De 7 a 14 d�as h�biles
Primer art�culo	EUR 0.00	EUR 14.99

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.