Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
Logics of programs

by Parikh, Rohit Ed.

Series: Lecture notes in computer science ; 00193Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Logic at the crossroads Vol.1 interdisciplinary view

by Gupta, Amitabha, Ed | Parikh, Rohit, Ed | Benthem, Johan Van, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Chennai ; Allied Publishers ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GUP.

BOOKS
Theoretical aspects of Reasoning about knowledge (TARK 1990) Proceedings of the Third conference March 4-7, 1990. Pacific Grove, California

by Parikh, Rohit, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Pacific Grove, California Morgan Kaufmann Publishers 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAR.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha