Temporal logic. V. 2 : mathematical foundations and computational aspects (Book, 1994) [WorldCat.org]
skip to content
Temporal logic. V. 2 : mathematical foundations and computational aspects Preview this item
ClosePreview this item
Checking...

Temporal logic. V. 2 : mathematical foundations and computational aspects

Author: Dov M Gabbay; Mark C Reynolds; Marcelo Finger
Publisher: Oxford [etc.] : Clarendon Press [etc.], 1994-2000.
Series: Oxford Logic Guides, 40.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Dov M Gabbay; Mark C Reynolds; Marcelo Finger
ISBN: 0198537689 9780198537687
OCLC Number: 1055101909
Notes: 2000.
Description: 1 v.
Contents: V.2: xiii, 597 p.
Series Title: Oxford Logic Guides, 40.
Responsibility: Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.