Titel: Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides, 28)
Verlag: Clarendon Press
Erscheinungsjahr: 1994
Sprache: Englisch
ISBN-10: 0198537697
ISBN-13: 9780198537694
Einband: Hardcover
Zustand: Like New
Buchtyp: book

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den 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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Mispah books
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Widerrufsbelehrung

Versandbedingungen

Our rates depends on weight of the item & shipping destination

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	14 bis 15�Werktage	9 bis 10�Werktage
Erster Artikel	EUR 28.78	EUR 31.08

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.