Logics of time and computation (CSLI lecture notes)

Goldblatt, Robert

ISBN 10: 0937073121 ISBN 13: 9780937073124

Published by Center for the Study of Language and Information, 1987

Language: English

Condition: Used - Good Soft cover

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 - Soft cover

Condition: Used - Good

Price: US$ 17.41 Convert Currency

US$ 33.79 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 plain label inside cover.

Seller Inventory # 062015

Contact seller

Report this item

Bibliographic Details

Title

Logics of time and computation (CSLI lecture notes)

Publisher

Center for the Study of Language and Information

Publication Date

1987

Language

English

ISBN 10

0937073121

ISBN 13

9780937073124

Binding

Soft cover

Condition

Good

Seller catalogs

MATHEMATICS

About this title

Synopsis

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Review

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

"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.79	US$ 37.16

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.