Basic Proof Theory
Material type: TextSeries: Cambridge Tracts in Theoretical Computer Science, V. 43Publication details: Cambridge ; CUP ; 1996, 2000Edition: 1st & 2ndDescription: 343p; 417pISBN: 0 521 57223 1Subject(s): Basic Proof TheoryCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 TRO (Browse shelf (Opens below)) | Available | 43745 | ||
IMSc Library | IMSc Library | 681.3 TRO (Browse shelf (Opens below)) | Available | 35929 | ||
IMSc Library | IMSc Library | 681.3 TRO (Browse shelf (Opens below)) | Available | 35425 |
There are no comments on this title.