Your search returned 5 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.

E-BOOKS
Logic Colloquium [electronic resource] : Symposium on Logic Held at Boston, 1972–73 / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 453Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logics of Programs [electronic resource] : Brooklyn, June 17–19, 1985 Proceedings / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 193Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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