{"product_id":"temporal-logic-mathematical-foundations-and-computational-aspectsvolume-1-oxford-logic-guides-9780198537694","title":"Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)","description":"\u003cp\u003eThis much-needed book provides a thorough account of temporal logic  one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover 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. With its inclusion of cutting-edge results and unifying methodologies  this book is an indispensable reference for both the pure logician and the theoretical computer scientist.\u003c\/p\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":67946683007029,"sku":"ByrdShop_0198537697","price":428.56,"currency_code":"USD","in_stock":true}],"url":"https:\/\/atxbooks.com\/products\/temporal-logic-mathematical-foundations-and-computational-aspectsvolume-1-oxford-logic-guides-9780198537694","provider":"ATX Books","version":"1.0","type":"link"}