Research Catalog
Temporal logic : mathematical foundations and computational aspects
- Title
- Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.
- Author
- Gabbay, Dov M., 1945-
- Publication
- Oxford : Clarendon Press ; New York : Oxford University Press, 1994-2000.
Items in the Library & Off-site
Filter by
2 Items
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| vol. 2 | Text | Use in library | QA76.6 .G27 1994 vol. 2 | Off-site | |
| vol.1 | Text | Use in library | QA76.6 .G27 1994 vol.1 | Off-site |
Details
- Additional Authors
- Description
- 2 volumes : illustrations; 24 cm.
- Series Statement
- Oxford logic guides ; 28, 40
- Oxford science publications
- Uniform Title
- Oxford logic guides ; 28, 40.
- Oxford science publications.
- Subject
- Note
- Vol. 2 by Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger.
- Bibliography (note)
- Includes bibliographical references and indexes.
- Contents
- Vol.1. 1994.
- ISBN
- 0198537697
- 9780198537694
- LCCN
- 94019153
- OCLC
- ocm30474321
- 30474321
- SCSB-13553725
- Owning Institutions
- Princeton University Library