×


 x 

Shopping cart
22%OFFRobert Goldblatt - Logics of Time and Computation - 9780937073940 - V9780937073940
Stock image for illustration purposes only - book cover, edition or condition may vary.

Logics of Time and Computation

€ 32.99
€ 25.76
You save € 7.23!
FREE Delivery in Ireland
Description for Logics of Time and Computation Paperback. 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. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339.
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.

Product Details

Format
Paperback
Publication date
1992
Publisher
The Center for the Study of Language and Information Publications
Condition
New
Series
Center for the Study of Language and Information Publication Lecture Notes
Number of Pages
180
Place of Publication
Stanford, United States
ISBN
9780937073940
SKU
V9780937073940
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1

Reviews for Logics of Time and Computation

Goodreads reviews for Logics of Time and Computation


Subscribe to our newsletter

News on special offers, signed editions & more!