|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic and information flow by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed. Series: Foundations of computingMaterial type:  Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.
|
|
|
|
|
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / G. Mints, eds. by P. Martin-Lof, eds | Martin-Löf, Per | Mint︠s︡, G. E. Series: Lecture notes in computer science ; 417Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic, Language and Computation, Vol. 2 by Moss, L S., Ed | Ginzburg, J. Ed | de Rijke, Maarten. Ed. Series: CSLI Lecture Note No. 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MOSS.
|
|
|
|
|
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.
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
Mathematical logic in the 20th century by Sacks, Gerald E. Material type: Text;Language: ; Format:
print
Publication details: Singapore ; Singapore University Press: World Scientific, ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAC.
|
|
|
|
|
Collected works of A M Turing : Mathematical logic by Gandy, R O | Yates, C E M Eds. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Amsterdam ; NH ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 15, Shelf No: 3 Call number: 51(081) TUR.
|
|
|
|
|
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.
|
|
|
|
|
Logic and structure by Dalen, D. van, (Dirk), 1932-. Series: UniversitextEdition: 4th ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer-Verlag ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DAL.
|
