|
|
|
Logics of programs by Parikh, Rohit Ed. Series: Lecture notes in computer science ; 00193Material type: 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.
|
|
|
|
Logic at the crossroads Vol.1 interdisciplinary view by Gupta, Amitabha, Ed | Parikh, Rohit, Ed | Benthem, Johan Van, Ed. Material type: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|