Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Temporal Logic: Mathematical Foundations and Computational Aspects, Vol.1

by Gabbay, Dov M | Hodkinson, Ian | Reynolds, Mark.

Series: Oxford Logic Guides, 28Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

BOOKS
Relation algebras by games

by Hirsch, Robin | Hodkinson, Ian.

Series: Studies in logic and the found. of maths. ; v. 147Edition: 1st ed.Material type: Text Text;Language: ; Format: print Publication details: Amsterdam ; North Holland ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HIR.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha