Logics of Time and Computation
2nd Revised edition
By (author) Robert Goldblatt
Normal Price: $53.95
Your Price: $48.56 AUD, inc. GST
Shipping: $7.95 per order
You Save: $5.39! (10% off normal price)
Plus...earn $2.43 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Logics of Time and Computation by Robert Goldblatt
Book DescriptionSets 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 book by Robert Goldblatt from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780937073940
(228mm x 152mm x 15mm)
Imprint: Centre for the Study of Language & Information
Publisher: Centre for the Study of Language & Information
Publish Date: 30-Jun-1992
Country of Publication: United States
Books By Author Robert Goldblatt
Quantifiers, Propositions and Identity, Hardback (July 2011)
Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation.
Topoi, Paperback (May 2006)» View all books by Robert Goldblatt
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
» 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 member - it's free to sign up!)
Phone: 1300 36 33 32 (9am-2pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687