|
|
|
Logique automatique informatique by Moisil C etal. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Bucarest ; De l'academie De la republique socialiste de Roumanie ; 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MOI.
|
|
|
|
Lectures on Linear Logic by Troelstra, A S. Series: CSLI Lecture Notes, 29Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; Center for the study of language and information ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRO.
|
|
|
|
Logic and Information by Devlin, Keith. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 DEV.
|
|
|
|
Logical Frameworks Workshop, Sophia Antipolis,France, 1990 by Huet, Gerard. Ed | Plotkin, G. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge university press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 4 Call number: 681.3.07 HUET.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Clausal Theory of Types by Wolfram, D A. Series: Cambridge Tracts in Theoretical Computer Science, 21Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681.2.06 WOL.
|
|
|
|
Mathematical logic by Ebbinghaus, H.D | Flum, J | Thomas, W. Series: Undergraduate texts in mathematicsMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York Springer-Verlag 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB.
|
|
|
|
Abstraction relation and induction by Weinberg. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: 1965Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WEI.
|
|
|
|
Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. by Müller, G. H | Oberschelp, Arnold | Potthoff, Karl. Series: Lecture notes in mathematics (Springer-Verlag) ; 499.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: engfre Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM.
|
|
|
|
Logic for Applications by Nerode, Anil | Shore, Richard A. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NER.
|
|
|
|
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg | Leitsch, A | Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Time and Logic a computational approach by Bolc, Lenoard. Ed | Szalas, Andrzej. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; UCL Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BOL.
|