Handbook of Proof Theory : (SL 137)
Material type: TextSeries: Studies in Logic, 137Publication details: Netherlands ; Elsevier ; 1998Description: 811ISBN: 0 444 89840 9Subject(s): Proof TheoryCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6(02) BUSS (Browse shelf (Opens below)) | Available | 46534 |
There are no comments on this title.