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: 190282 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

1304 b

190 282 Ft

Print on demand Shipping in 17-26 days

Up to 30 days for returns

Customers also purchased

Anacondas Aparicio Publishing Aparicio Publishing LLC

Hardback

10 756 Ft

Instrumental Sounds of Nature - Eye of the Storm Various Artists

Audio CD

4 059 Ft

L'Oracle des énergies lumineuses ALICIA MOLET

Hardback

10 931 Ft

Une chaleur si proche Maruja Torres

Paperback

4 846 Ft

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

Paperback

34 720 Ft

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

Paperback

16 536 Ft

NATO-Intelligence Günter Weiße

Paperback

13 821 Ft

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

Hardback

4 059 Ft

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

Paperback

17 121 Ft

The Hydrocene Bronwyn Bailey-Charteris

Paperback

22 547 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.