|
|
|
|
Communication Complexity by Kushilevitz, Eyal | Nisan, Noam. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49, Shelf No: 29 Call number: 681.03.04 KUS.
|
|
|
|
|
A New introduction to Modal Logic by Hughes, G E | Cresswell, M J. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Routledge ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HUG.
|
|
|
|
|
First Order Modal Logic by Fitting, Melvin | Mendelsohn, Richard L. Series: Synthese Library, Vol. 277Material type: Text;Language: ; Format:
print
Publication details: Boston ; Kluwer Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT.
|
|
|
|
|
Handbook of Logic and Language by van Benthem, Johan. Ed | ter Meulen, Alice. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.
|
|
|
|
|
|
|
|
|
|
Logic in Computer Science : Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
|
|
|
|
|
|
|
|
|
Symbolic logic and mechanical theorem proving by Chang, Chin-Liang | Lee, Richard Char-Tung. Series: Computer Science ClassicsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; AP ; 1973Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 CHA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Handbook Philosophical Logic, Vols.1-4 by Gabbay, Dov. Ed | Guenthner, F. Ed. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Kluwer ; 2001Availability: Items available for loan: IMSc Library (4). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6 (02) GAB.
|
|
|
|
|
Mathematical Introduction to Logic by Enderton, Herbert B. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; Harcourt and Academic Press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 END.
|
|
|
|
|
Network Algebra by Stefanescu, Gheorghe. Series: Discrete Mathematics and Theoretical Computer SciencesMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STE.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic and Algebra by Ursini, Aldo. Ed | Agliano, Paolo. Ed. Series: Lecture notes in pure and applied mathematics ; 00180Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Marcel Dekker ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 15 Call number: 512 URS.
|
|
|
|
|
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.
|
