Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)

Dov M. Gabbay; Ian Hodkinson; Mark Reynolds

ISBN 10: 0198537697 ISBN 13: 9780198537694

Published by Clarendon Press, 1994

Language: English

Condition: Used - Very good Hardcover

Save for Later

Sold by Fireside Bookshop, Stroud, GLOS, United Kingdom

Association Member:

PBFA

AbeBooks Seller since September 22, 2000

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Very good

Price: US$ 208.68 Convert Currency

US$ 33.77 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Type: Book Small address label on ffep.

Seller Inventory # 050430

Contact seller

Report this item

Bibliographic Details

Title

Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)

Publisher

Clarendon Press

Publication Date

1994

Language

English

ISBN 10

0198537697

ISBN 13

9780198537694

Binding

Cloth

Condition

Very Good

Dust Jacket Condition

No d/j as Published

Seller catalogs

MATHEMATICS

About this title

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.

Store Description

The Fireside Bookshop has now moved to Stroud in Gloucestershire.Our opening hours are from 10a.m.-5p.m. Tuesday to Saturday. Click on the Fireside Bookshop name above for more contact information.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Fireside Bookshop
United Kingdom

Sale & Shipping Terms

Terms of Sale

Books are despatched the same day as the order is confirmed.We are very happy to
answer any other enquiries regarding our stock either by E mail or phone.
Rob Sheppard.Fireside Bookshop.8 Rowcroft, Stroud, Gloucestershire, GL5 3AZ
info@firesidebookshop.co.uk 01453 764500

Shipping Terms

Postage costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra postage is required.
Any queries please email us or phone +44(0)1453 764500

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	6 to 14 business days	5 to 14 business days
First item	US$ 33.77	US$ 37.14

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.