Free delivery for orders over 69.99€

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 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Temporal Logic: Volume 1

Name: Temporal Logic: Volume 1
Brand: Oxford University Press
SKU: 04527498
Price: 517.18 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

1250 b

517.18 €

1 011.52 лв

Print on demand Shipping in 17-26 days

Up to 30 days for returns

Customers also purchased

Instrumental Sounds of Nature - Eye of the Storm Various Artists

Audio CD

7.30 € 14.27 лв

Puzzle Charles Darwin Game/Toy

Game

28.38 € 55.50 лв

Paryż. Inspirator podróżniczy Karolina Szczęsna

Paperback

12.12 € 23.70 лв

NATO-Intelligence Günter Weiße

Paperback

36.36 € 71.11 лв

Polska na rowerze. 60 wycieczek jednodniowych dla każdego Daniel Sienkiewicz

Paperback

15.22 € 29.77 лв

Léo Wixtair Scard Book

Book

18.18 € 35.55 лв

The Hydrocene Bronwyn Bailey-Charteris

Paperback

62.88 € 122.97 лв

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

Paperback

50.24 € 98.26 лв

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

Paperback

102.91 € 201.28 лв

Konzerninterne Dienstleistungen international tatiger Unternehmen. Die Verrechnungspreisproblematik und Besonderheiten in DBA-Abkommen ausgewahlter La Chris Krause

Paperback

45.37 € 88.73 лв

LIVRE UNE CHANSON LEROY

Audio CD

18.85 € 36.86 лв

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

Hardback

11.75 € 22.99 лв

Une chaleur si proche Maruja Torres

Paperback

13.93 € 27.24 лв

L'Oracle des énergies lumineuses ALICIA MOLET

Hardback

31.95 € 62.50 лв

Znovuzrozená Soňa Kolmanová

Paperback

7.56 € 14.78 лв

Anacondas Aparicio Publishing Aparicio Publishing LLC

Hardback

30.61 € 59.86 лв

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.