2081668

9780198537694

Temporal Logic Mathematical Foundations and Computational Aspects
Temporal Logic Mathematical Foundations and Computational Aspects
$192.32
$3.95 Shipping
List Price
$305.00
Discount
36% Off
You Save
$112.68

  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.

   30-day money back guarantee
$124.55
$3.95 Shipping
List Price
$305.00
Discount
59% Off
You Save
$180.45

  • Condition: Very Good
  • Provider: Bookbyte Contact
  • Provider Rating:
    89%
  • Ships From: Salem, OR
  • Shipping: Standard, Expedited (tracking available)
  • Comments: Has minor wear and/or markings. SKU:9780198537694-3-0-3 Orders ship the same or next business day. Expedited shipping within U.S. will arrive in 3-5 days. Hassle free 14 day return policy. Contact Customer Service for questions.

   30-day money back guarantee
$35.30
$3.95 Shipping

Your due date: 12/2/2016

How do rentals work?
$305.00
List Price
$305.00
Discount
88% Off
You Save
$269.70

  • Condition: Good
  • Provider: Rent U Contact
  • Provider Rating:
    86%
  • Ships From: Salem, OR
  • Shipping: Standard, Expedited
  • Comments: Has minor wear and/or markings.

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9780198537694
  • ISBN: 0198537697
  • Publication Date:
  • Publisher: Oxford University Press, Incorporated

AUTHOR

SUMMARY

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.Gabbay, Dov M. is the author of 'Temporal Logic Mathematical Foundations and Computational Aspects', published 1994 under ISBN 9780198537694 and ISBN 0198537697.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.