|
|
|
|
|
|
|
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.
|
|
|
|
Basic Proof Theory by Troelstra, A S | Schwichtenberg, H. Series: Cambridge Tracts in Theoretical Computer Science, V. 43Edition: 1st & 2ndMaterial type: Text;Language: ; Format:
print
Publication details: Cambridge ; CUP ; 1996, 2000Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 TRO.
|
|
|
|
|
|
|
|
|
|
|
|
|