| Shelfclass_id | 4.D |
| Sortkey | GABBAY, DOV M |
| Authors | Dov M. Gabbay, Ian Hodkinson, Mark Reynolds, Marcelo Finger |
| Title | Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1 |
| Publisher | Oxford University Press |
| Year | 2003, c1994 |
| Languages | eng |
| Isbn | 0198537697 |
| Series | Oxford logic guides |
| Volume | 28 |
| Description | (v. 1) ill. 24 cm. |
| Record date | 20061020 |
| Location | New York |
| Keywords | Computer programming, Logic, Symbolic and mathematical |
| Notes | Vol. 2 by Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. |
| Urlnote | Table of contents only |
| Urls | http://www.loc.gov/catdir/enhancements/fy0606/94019153-t.html |