Temporal Logic: Volume 1
Book Details
Format
Hardback or Cased Book
Book Series
Oxford Logic Guides
ISBN-10
0198537697
ISBN-13
9780198537694
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 21st, 1994
Print length
668 Pages
Weight
1,214 grams
Dimensions
24.60 x 16.30 x 4.40 cms
Product Classification:
Mathematical logicMathematical theory of computationArtificial intelligence
Ksh 62,150.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
Get Temporal Logic: Volume 1 by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
