Cover Image

Temporal logic : mathematical foundations and computational aspects /

Bibliographic Details
Main Author: Gabbay, Dov M., 1945-
Other Authors: Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo
Format: Book
Language:English
Published: Oxford : New York : Clarendon Press ; Oxford University Press, 1994-2000.
Series:Oxford science publications.
Oxford logic guides ; 28, 40.
Subjects:
Computer programming.
Logic, Symbolic and mathematical.
Logic
Description
Item Description:Volume 2 by Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger.
Physical Description:2 volumes : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:0198537697 (v. 1) :