Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
ISBN 10: 0198537697 ISBN 13: 9780198537694
Published by Oxford University Press, 1994
Used
Hardcover
From
OM Books, Sevilla, SE, Spain
Seller rating 5 out of 5 stars
AbeBooks Seller since January 27, 2022
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 9780198537694
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.
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.
Bibliographic Details
Title: Temporal Logic: Mathematical Foundations and...
Publisher: Oxford University Press
Publication Date: 1994
Binding: Hardcover
Condition: Usado - bueno
Top Search Results from the AbeBooks Marketplace
Stock Image
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1
Seller: HM Books, Kingston, NY, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. 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$ 115.21
US$ 37.61 shipping
Ships from United Kingdom to U.S.A.
Ships 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$ 116.37
US$ 20.25 shipping
Ships from United Kingdom to U.S.A.
Ships 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$ 208.57
US$ 33.75 shipping
Ships from United Kingdom to U.S.A.
Ships 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 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # bc41b7e9082eefea55261a5aadad9441
Buy New
US$ 434.38
US$ 12.86 shipping
Ships from Italy to U.S.A.
Ships 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$ 536.81
US$ 57.26 shipping
Ships from Germany to U.S.A.
Ships 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$ 622.94
US$ 33.75 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available