Logics of Time and Computation (Volume 7) (Lecture Notes)
Released: Sep 15, 1992
Publisher: Center for the Study of Language and Inf
Format: Hardcover, 180 pages
Description:
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
Best prices to buy, sell, or rent ISBN 9780937073933
Related Books
- 1
- 2
- 3
- Logics of Time and Computation (Volume 7) (Lecture Notes)Goldblatt, RobertEdition:1ISBN-13:9780937073940
- Logics of time and computation (CSLI lecture notes)Robert GoldblattISBN-13:9780937073117
- Logics of time and computation (CSLI lecture notes)Goldblatt, RobertISBN-13:9780937073124
- Logics of Time and Computation (Volume 7) (Lecture Notes)Goldblatt, RobertEdition:1ISBN-13:9780937073940
- Logics of time and computation (CSLI lecture notes)Robert GoldblattISBN-13:9780937073117
Frequently Asked Questions about Logics of Time and Computation (Volume 7) (Lecture Notes)
You can buy the Logics of Time and Computation (Volume 7) (Lecture Notes) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .
If you’re interested in selling back the Logics of Time and Computation (Volume 7) (Lecture Notes) 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 Logics of Time and Computation (Volume 7) (Lecture Notes) book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.