Oxford Logic Guides No. 40. 24 x 15.5 cm., xiii, 597 pp. The book is covered in black cloth with gilt lettering on the spine and front. CONDITION. As new. A very clean tight copy. No marks of ownership.

Seller Inventory # 008063

Contact seller

Report this item

Bibliographic Details

Title

Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 2.

Publisher

Clarendon Press, Oxford

Publication Date

2000

Language

English

ISBN 10

0198537689

ISBN 13

9780198537687

Binding

Original Cloth

Edition

1st Edition.

Seller catalogs

Science and Maths

About this title

Synopsis

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.

About the Author

Dov M Gabbay is at King's College London. M. Finger is at Murdoch University.

"About this title" may belong to another edition of this title.

Store Description

Peter Rhodes Books is an established antiquarian and second hand bookshop. I maintain a stock of about 15,000 books in Victorian premises with over 1000 sq. ft. of selling space. Most of the stock is acquired from large private collections. The shop is open from 10 am to 5 pm Monday to Saturday. At other times please contact me by email or Mobile No. 07763326440

Visit Seller's Storefront

Seller's business information

Peter Rhodes
United Kingdom

Sale & Shipping Terms

Terms of Sale

Payment by Sterling cheque, Paypal or ABE Commerce. The ABE posting and package rates are for uninsured Royal Mail posting. I will quote for insured postage, and for individual rates for very heavy books. Books may be returned for a refund of the list price if they are not as described in the ABE listing.

Shipping Terms

Orders usually ship within 2 business days. For UK customers shipping charges are the same for all books weighing up to 2 kg. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Books weighing up to 2 kg will be sent by Royal Mail, and those weighing over 2 kg will be sent by courier. For overseas customers shipping charges are the same for all books weighing up to 1 kg. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Business details. Peter Rhodes Books. Sole trader: Peter Rhodes. Address: The Flat, 21 Portswood Road, Southampton, HAM, SO17 2ES. Email address: peterrhodesbooks@gmx.com. Telephone number: 02380399003. Mobile 447763326440.

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

Shipping rates from United Kingdom to U.S.A.
Order quantity	21 to 35 business days	21 to 35 business days
First item	US$ 23.04	US$ 23.04

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.