Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Temporal Logic: Volume 1

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

1249 b

186 375 Ft

Print on demand Shipping in 17-26 days

Up to 30 days for returns

Customers also purchased

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

Paperback

17 072 Ft

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

Paperback

35 399 Ft

NATO-Intelligence Günter Weiße

Paperback

14 130 Ft

Auf der Suche!? Stefan Klusemann

Paperback

14 847 Ft

Puzzle Charles Darwin Game/Toy

Game

9 522 Ft

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

Paperback

4 341 Ft

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

Paperback

16 909 Ft

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

Paperback

4 880 Ft

Léo Wixtair Scard Book

Book

5 982 Ft

Enfer et Pavillons Maureen Kilmer

Paperback

9 582 Ft

The Hydrocene Bronwyn Bailey-Charteris

Paperback

24 265 Ft

Anacondas Aparicio Publishing Aparicio Publishing LLC

Hardback

10 998 Ft

Znovuzrozená Soňa Kolmanová

Paperback

2 581 Ft

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

Hardback

4 148 Ft

Instrumental Sounds of Nature - Eye of the Storm Various Artists

Audio CD

2 640 Ft

LIVRE UNE CHANSON LEROY

Audio CD

6 225 Ft

Brehms Thierleben, Allgemeine Kunde Des Thierreichs: -6. Bd. (2. Abt.) Die Vögel, Von Dr. A. E. Brehm. 3 V. 1878-79 Ernst Ludwig Taschenberg

Paperback

13 417 Ft

Une chaleur si proche Maruja Torres

Paperback

4 539 Ft

L'Oracle des énergies lumineuses ALICIA MOLET

Hardback

10 743 Ft

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.