30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Temporal Logic Mathematical Foundations and Computational Aspects

Author: 


ISBN-13: 

9780198537694


ISBN: 

0198537697


Pub Date: 
Publisher:  Oxford University Press, Incorporated
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, ma...ny 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 0198537697. Six Temporal Logic Mathematical Foundations and Computational Aspects textbooks are available for sale on ValoreBooks.com, five used from the cheapest price of $94.99, or buy new starting at $296.74.
 [read more]

Marketplace Prices
1 New from $296.74 5 Used from $94.99
  • Used $94.99
  • New $296.74
Price + Shipping
Condition
Details
Recommended
Product Details
Temporal Logic Mathematical Foundations and Computational Aspects

ISBN-13: 9780198537694


ISBN: 0198537697


Pub Date:
Publisher: Oxford University Press, Incorporated
Valore Books is hard to beat for cheap Temporal Logic Mathematical Foundations and Computational Aspects rentals, or new and used copies ready to be shipped fast.
Where's My Stuff?
Shipping & Returns