|
|
|
Modal Logic : (CTCS 53) by Blackburn, Patrick | de Rijke, Maarten | Venema, Yde. Series: Cambridge Tracts in Theoretical Computer Science, 53Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BLA.
|
|
|
|
Multi-Dimensional Modal Logic (ALS 4) by Marx, Maarten | Venema, Yde. Series: Applied Logic Series, 4Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Kluwer Acad. ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MARX.
|
|
|
|
Modal Logic by Blackburn, Patrick | de Rijke, Maarten | Venema, Yde. Series: Cambridge tracts in theoretical computer scienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BLA.
|