Logics of time and computation (CSLI lecture notes)

(1)
Logics of time and computation (CSLI lecture notes) image
ISBN-10:

0937073121

ISBN-13:

9780937073124

Released: Jan 01, 1987
Format: Paperback, 0 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 9780937073124




Related Books

Frequently Asked Questions about Logics of time and computation (CSLI lecture notes)

You can buy the Logics of time and computation (CSLI 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 .

The price for the book starts from $21.74 on Amazon and is available from 3 sellers at the moment.

If you’re interested in selling back the Logics of time and computation (CSLI 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 (CSLI 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.