ISBN is

978-0-937073-94-0 / 9780937073940

Logics of Time and Computation (Center for the Study of Language and Information - Lecture Notes) 1st edition by Goldblatt, Robert published by Center for the Study of Language and Inf [ Hardcover ]

by

Publisher:Center for the Study of Language and Inf

Edition:Hardcover

Language:English

Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 30

   

Used books: 1 - 25 of 59