Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Temporal Logic: Volume 1

Name: Temporal Logic: Volume 1
Brand: Oxford University Press
SKU: 04527498
Price: 493.34 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198537694

Language

English

Book Hardback

Libristo code: 04527498

Publishers Oxford University Press, July 1994

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Full description

Libristo code: 04527498

1191 b

493.34 €

Print on demand Shipping in 17-26 days

Up to 30 days for returns

Customers also purchased

Léčivé stromy a keře Pavel Váňa

Hardback

11.14 €

Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun

Paperback

48.53 €

NATO-Intelligence Günter Weiße

Paperback

36.37 €

Une chaleur si proche Maruja Torres

Paperback

13.67 €

Anacondas Aparicio Publishing Aparicio Publishing LLC

Hardback

28.57 €

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold

Paperback

98.50 €

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.