|
|
|
Dynamic logic by Harel, David | Kozen, Dexter | Touryn, Jerzy. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|
|
|
|
From logic to logic programming by Doets, Kees. Series: Foundations of computingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DOE.
|
|
|
|
|
|
|
|
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.
|
|
|
|
Introduction to formal logic by Smith, Peter. Material type: Text;Language: ; Format:
print
Publication details: Cambridge ; Cambridge University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 SMI.
|
|
|
|
Algebraic methods in philosophical logic by Dunn, J. Michael | Hardegree, Gary M. Series: Oxford logic guides; 41Material type: Text;Language: ; Format:
print
Publication details: Oxford ; Oxford University Press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DUN.
|
|
|
|
|
|
|
|
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.
|
|
|
|
Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg | Grandjean, Etienne | Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings by Marcinkowski, Jerzy | Tarlecki, Andrzej Eds. Series: Lecture notes in computer science ; 03210Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
Logic in computer science modelling and reasoning about systems by Huth, Michael | Ryan, Mark. Edition: 2Material type: Text;Language: ; Format:
print
Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HUT.
|
|
|
|
|
|
|
|
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.
|
|
|
|
Alternative logics do sciences need them? by Weingartner, Paul. Ed. Series: Physics and astronomyMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WEI.
|
|
|
|
Logical aspects of computational linguistics: second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers by Lecomte, Alain | Lamarche, Francois | Perrier, Guy Eds. Series: Lecture notes in artificial intelligence ; 01582Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|