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-

Filter by

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 2	Text	Request in advance	JSL 94-318 v. 2	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 1	Text	Request in advance	JSL 94-318 v. 1	Offsite

Additional Authors

Description

v. : ill.; 24 cm.

Series Statement

Oxford logic guides ; 28

Subject

Bibliography (note)

Call Number

JSL 94-318

ISBN

0198537697 (v. 1)

LCCN

94019153

OCLC

Author

Gabbay, Dov M., 1945-

Title

Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

Imprint

Oxford : Clarendon Press ; New York : Oxford University Press, 1994-

Series

Oxford logic guides ; 28

Bibliography

Includes bibliographical references and indexes.

Added Author

Hodkinson, Ian.

Reynolds, Mark (Mark A.)

Research Call Number

JSL 94-318 Library has: Vol. 1-2