Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes No. 7 (Paperback)
  • Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes No. 7 (Paperback)
zoom

Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes No. 7 (Paperback)

(author)
£22.50
Paperback 190 Pages / Published: 30/06/1992
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: Centre for the Study of Language & Information
ISBN: 9780937073940
Number of pages: 190
Weight: 339 g
Dimensions: 228 x 152 x 15 mm
Edition: 2nd Revised edition

You may also be interested in...

An Introduction to Goedel's Theorems
Added to basket
Godel's Proof
Added to basket
£11.99
Paperback
Sets, Logic and Categories
Added to basket
Logic For Dummies
Added to basket
£13.99
Paperback
Set Theory
Added to basket
£14.50
Paperback
Introducing Infinity
Added to basket
Computability and Logic
Added to basket
Set Theory and its Philosophy
Added to basket
How to Prove It
Added to basket
The Foundations of Mathematics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.