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.
 
You can save by renting this book!
Temporal Logic Mathematical Foundations and Computational Aspects
Temporal Logic Mathematical Foundations and Computational Aspects
Rent It
$35.05
RENT IT
0 items in your cart

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. Five Temporal Logic Mathematical Foundations and Computational Aspects textbooks are available for sale on ValoreBooks.com, three used from the cheapest price of $63.00, or buy new starting at $350.33.
 [read more]

Marketplace Prices
1 New from $350.33 3 Used from $63.00 1 Rental from $35.05
  • Rent $35.05
  • Used $63.00
  • New $350.33
$35.05 $3.95 Shipping
List Price
$305.00
Discount
88% off
You Save
$269.95
1 left in stock at this price
Temporal Logic Mathematical Foundations and Computational Aspects Rental Terms
Due Date: 02/24/15
How do textbook rentals work?
Item Details
Condition: Used - Good Renter: Renter Rating: (734) 86%
Recommended Seller
Ships From: Salem, OR Shipping: Standard, Expedited Comments: RENTAL: Supplemental materials are not guaranteed (access codes, DVDs, workbooks). Has minor wear and/or markings.
30 Day Money Back Guarantee Learn More
Price + Shipping
Condition
Details
Recommended
$35.05
+ $3.95 shipping
LOW ITEM PRICE
Rental
Good
  • Term:
  • Due Date:
    02/24/15
Rental Steps How Does the Rental Process Work?
Rentals
(1 from $35.05)  Supplemental materials are not guaranteed for rentals
$35.05
+ $3.95 shipping
LOW ITEM PRICE
Rental
Good
  • Term:
  • Due Date:
    02/24/15
Rental Steps How Does the Rental Process Work?
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