|
|
|
|
Logic of Probability by Boolos, George. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BOO.
|
|
|
|
|
Substructural Logics, Introduction to- by Restall, Greg. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Routledge ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 RES.
|
|
|
|
|
Substructural Logics : (SLC 2) by Schroeder-Heister, P. Ed | Dosen, Kosta. Ed. Series: Studies in Logic and Computation, 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Oxford ; OUP ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SCH.
|
|
|
|
|
|
|
|
|
|
Advances in Temporal Logic : (ALS 16) by Barringer, H.Ed.,Fisher,M.Ed | Gabbay, Dov. Ed | Gouchi, Graham. Ed. Series: Applied Logic Series, 16Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Kluwer Acad. ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BAR.
|
|
|
|
|
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.
|
|
|
|
|
Language in Action : Categories, Lambdas and Dynamic Logic by van Benthem, Johan. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Logic for Computer Science by Ben-Ari, Mordechai. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN.
|
|
|
|
|
|
|
|
|
|
Handbook of Philosophical Logic: (Vol.5) by Gabbay D M. Ed | Guenthner F. Ed. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; KAP ; 2002Availability: Items available for loan: IMSc Library (3). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) GAB.
|
|
|
|
|
Handbook of Philosophical Logic: (Vol.8) by Gabbay, D M | Guenthner, F. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; KAP ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB.
|
|
|
|
|
Handbook of Philosophical Logic: (Vol.9) by Gabbay, D M. Ed | Guenthner, F. Ed. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; KAP ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6 (02) GAB.
|
|
|
|
|
Logic Synthesis of Asynchronous Controllers and Interfaces : (AM 8) by Cortadella, J.,Kishinevsky,M | Kondratyev,A., Lavagno, L | Yakovlev, A. Series: Springer series in Advanced Microelectronics, 8Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Germany ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 27 Call number: 621.38 COR.
|
|
|
|
|
|
|
|
|
|
|
