IMSc Library catalog › Details for: Temporal Logic: Mathematical Foundations and Computational Aspects, Vol.1

Normal view MARC view ISBD view

Temporal Logic: Mathematical Foundations and Computational Aspects, Vol.1

TextSeries: Oxford Logic Guides, 28Publication details: Oxford ; OUP ; 1994Description: 672pISBN: 0 19 853769 7Subject(s): Logic, Temporal- Mathematical Foundations Computational Aspects

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	510.6 GAB (Browse shelf (Opens below))		Available		43153

Previous	No cover image available							Next
Previous	510.6 FRA Cours de logique mathematique realtion,formule logique,compacite,completude	510.6 FRI Fork Algebras in Algebra, Logic and Computer Science: Advances in Logic (Vol. 2)	510.6 FUH Essay on contraction	510.6 GAB Temporal Logic: Mathematical Foundations and Computational Aspects, Vol.1	510.6 GAB Labelled Deductive Systems, Vol.1	510.6 GAB Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2	510.6 GAB A New Perspective on Nonmontonic Logics	Next

There are no comments on this title.

to post a comment.