|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in linear logic by Girard, Jean-Yves. Ed | Lafont, Yves. Ed | Regnier, Laurent. Ed. Series: London mathematical society lecture note series ; 00222Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GIR.
|
|
|
|
|
|
|
|
Collected Works of J.Richard Buchi by Buchi, J. Richard | Mac Lane, Saunders, Ed | Siefkes, Dirk, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 12, Shelf No: 4 Call number: 51(081) BUC.
|
|
|
|
Introduction to Mathematical Logic by Hermes, Hans. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin Springer-Verlag 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HER.
|
|
|
|
Logic of Partial Information by Abdallah, Areski Nait. Series: Monographs in Theoretical Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 34 Call number: 681.3 ABD.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|