Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Description:
This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover 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. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.
Best prices to buy, sell, or rent ISBN 9780198537694
Related Books
- 1
- 2
- Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)Edition:1994ISBN-13:9783540582410
- Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2Gabbay, Dov. M.; Reynolds, Mark A.; Finger, MarceloEdition:1ISBN-13:9780198537687
- Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)Edition:1994ISBN-13:9783540582410
- Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2Gabbay, Dov. M.; Reynolds, Mark A.; Finger, MarceloEdition:1ISBN-13:9780198537687
Frequently Asked Questions about Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
The price for the book starts from $7.98 on Amazon and is available from 4 sellers at the moment.
If you’re interested in selling back the Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) book, the best buyback offer comes from and is $ for the book in good condition.
The Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) book is in very low demand now as the rank for the book is 5,981,782 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
The highest price to sell back the Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) book within the last three months was on October 11 and it was $0.85.