Amazon cover image
Image from Amazon.com

Temporal logic [Book] : mathematical foundations and computational aspects. volume 2 / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

By: Contributor(s): Material type: TextTextSeries: Oxford logic guides ; 40 | Oxford science publicationsPublication details: Oxford : Clarendon Press ; New York : Oxford University Press, 1994-2000.Description: 2 v. : ill. ; 24 cmISBN:
  • 0198537689
Subject(s): DDC classification:
  • 511.3 20
Other classification:
  • 511.3
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Junaid Zaidi Library, COMSATS University Islamabad Ground Floor 511.3 GAB-T (Browse shelf(Opens below)) Available 12934
Total holds: 0

All.

There are no comments on this title.

to post a comment.