Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides) - Hardcover
Synopsis
This 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.
"synopsis" may belong to another edition of this title.
About the Author
Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.
"About this title" may belong to another edition of this title.
Search results for Temporal Logic: Mathematical Foundations and Computational...
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Seller: HM Books, Kingston, NY, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: VeryGood. Covers show some yellowing, soiling and scuffing. Seller Inventory # mon0000001049
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 1)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1250grams, ISBN:0198537697. Seller Inventory # 3964504
Buy Used
US$ 111.12
Shipping:
US$ 32.61
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0198537697
Stock Image
Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth. Condition: Very Good. Type: Book Small address label on ffep. Seller Inventory # 050430
Buy Used
US$ 201.18
Shipping:
US$ 32.55
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Published by
Oxford University Press, USA, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 672 pages. 9.75x6.75x1.75 inches. In Stock. Seller Inventory # 0198537697
Buy New
US$ 282.76
Shipping:
US$ 19.53
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic: Volume 1 (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # bc41b7e9082eefea55261a5aadad9441
Buy New
US$ 422.60
Shipping:
US$ 12.63
From Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Temporal Logic: Volume 1
Published by
Oxford University Press, 1994
ISBN 10: 0198537697
ISBN 13: 9780198537694
New
Einband - fest (Hardcover)
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Einband - fest (Hardcover). Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 594409984
Buy New
US$ 527.50
Shipping:
US$ 56.27
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides, 28)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. Ships from Multiple Locations. book. Seller Inventory # ERICA79001985376976
Buy Used
US$ 600.85
Shipping:
US$ 32.55
From United Kingdom to U.S.A.
Quantity: 1 available