Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004656051/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog contributor b6590735.
- catalog contributor b6590736.
- catalog contributor b6590737.
- catalog contributor b6590738.
- catalog created "1994-2000.".
- catalog date "1994".
- catalog date "1994-2000.".
- catalog dateCopyrighted "1994-2000.".
- catalog description "Includes bibliographical references and indexes.".
- catalog description "Vol. 1. 1994.".
- catalog extent "2 v. :".
- catalog hasFormat "Temporal logic.".
- catalog identifier "0198537697 (v. 1) :".
- catalog isFormatOf "Temporal logic.".
- catalog isPartOf "Oxford logic guides ; 28, 40".
- catalog isPartOf "Oxford science publications".
- catalog issued "1994".
- catalog issued "1994-2000.".
- catalog language "eng".
- catalog publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- catalog relation "Temporal logic.".
- catalog subject "511.3 20".
- catalog subject "Computer programming.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA76.6 .G27 1994".
- catalog tableOfContents "Vol. 1. 1994.".
- catalog title "Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.".
- catalog type "text".