Call Boomerang Books 1300 36 33 32

Description - Logics of Time and Computation by Robert Goldblatt

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.

Buy Logics of Time and Computation by Robert Goldblatt from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780937073940
ISBN-10: 0937073946
Format: Paperback
(228mm x 152mm x 15mm)
Pages: 190
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 30-Jun-1992
Country of Publication: United Kingdom

Other Editions - Logics of Time and Computation by Robert Goldblatt

Book Reviews - Logics of Time and Computation by Robert Goldblatt

» Have you read this book? We'd like to know what you think about it - write a review about Logics of Time and Computation book by Robert Goldblatt and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Robert Goldblatt

Quantifiers, Propositions and Identity by Robert Goldblatt
Hardback, July 2011
$126.00
Topoi by Robert Goldblatt
Paperback, April 2006
$51.45