My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
PRINTED BOOKS
Author Gabbay, Dov M., 1945-

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

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

Copies

Location Call No. Status
 UniM ERC  511.3 GABB  v.1    AVAILABLE
Physical description volumes <1 > : illustrations ; 24 cm.
Series Oxford logic guides ; 28.
Oxford science publications.
Oxford logic guides ; 28.
Oxford science publications.
Bibliography Includes bibliographical references and indexes.
Other author Hodkinson, Ian.
Reynolds, Mark (Mark A.)
Subject Computer programming.
Logic, Symbolic and mathematical.
ISBN 0198537697 (v. 1) £70.00 ($105.00 U.S.)