Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

phone

Contact

phone

Help

My account

▸ Empty :-(

0

Book Temporal Logic: Volume 1 Dov M. Gabbay

Temporal Logic: Volume 1

Language

English

Book Hardback

Book Temporal Logic: Volume 1 Dov M. Gabbay

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

?

points

1243 b

507.99 € VAT included

50 % chance We search the world When will I receive my book?

Delivery to Austria

30-day return policy

Customers also purchased

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

/

Paperback

129.79 €

Anacondas Aparicio Publishing Aparicio Publishing LLC

/

Hardback

29.69 €

NATO-Intelligence Günter Weiße

/

Paperback

37.59 €

Une chaleur si proche Maruja Torres

/

Paperback

14.09 €

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

/

Hardback

11.19 €

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

/

Paperback

49.99 €

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.

Actress & Polyglot

EWA KASP for

Play video

Ewa Kasp

Ewa Kasp

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Temporal Logic: Volume 1

Author Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.

Language

English

Binding Book - Hardback

Date of issue 1994

Number of pages 668

EAN 9780198537694

ISBN 0198537697

Libristo code 04527498

Publishers Oxford University Press

Weight 1214

Dimensions 163 x 246 x 44

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Artificial intelligence

Give this book today

It's easy

1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Temporal Logic: Volume 2 Dov M. Gabbay

/

Hardback

331.09 €

Temporal Logic Dov M. Gabbay

/

Paperback

118.29 €

Temporal Logic and State Systems Fred Kröger

/

Hardback

80.59 €

Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt

/

Paperback

10.49 €

Gifts for the Child of Winter BOB CHILCOTT

/

Sheet music

5.29 €

I Knew You Before You Were Born Chris Lisle

/

Paperback

6.99 €

Seaweed Sustainability Brijesh K. Tiwari

/

Hardback

204.49 €

Alamo in the Ardennes: The Untold Story of the American Soldiers Who Made the Defense of Bastogne Possible John C. McManus

/

Paperback

23.79 €

Soul of Education Rachael Kessler

/

Paperback

34.79 €

Daughter Janice Lee

/

Paperback

18.19 €

Descendants of Governor Thomas Welles of Connecticut and His Wife Alice Tomes, Volume 2, Part B Barbara Jean Mathews

/

Hardback

58.49 €

Laughing Lungs Charlie Ogden

/

Hardback

17.79 €

The Cocktail Party T S Eliot

/

Hardback

30.49 €

Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts

/

Paperback

37.69 €

How a Schoolmaster Became a Catholic Taylor James P Taylor

/

Paperback

19.69 €

Bossa Nova - 10 Latin Jazz Favorites

/

Paperback

21.89 €

Physical realism, Thomas Case

/

Paperback

26.19 €

Werewolf Magick Denny Sargent

/

Paperback

17.79 €

Cardiology for Babies Dr Haitham Ahmed

/

Board book

8.89 €

Handbook of CALL Teacher Education and Professional Development Dara Tafazoli

/

Hardback

313.69 €

Pink Floyd: Mind Over Matter Storm Thorgerson

/

Hardback

38.89 €

Believing, Blooming and letting go of the Blues Successfully dealing with Bi-polar Disorder Wendy Robinson

/

Paperback

9.79 €

Tapestry of Life Through the Eyes of Kitten Katherine Williams Black

/

Hardback

23.59 €

Works of Francis Bacon ... a New Edition Basil Montagu

/

Paperback

30.79 €

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?