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 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
681.3 TRO Basic Proof Theory | 681.3 TRO Basic Proof Theory | 681.3 TRO Basic Proof Theory | 681.3 TUR Truth and modality for knowledge representation | 681.3 TUR Computable models | 681.3 VAL Algorithms on trees and graphs |
There are no comments on this title.