Arithmetic, Proof Theory, and Computational Complexity
Material type: TextSeries: Oxford Logic Guides, Vol. 23Publication details: Oxford ; Oxford University press ; 1993Description: 428pISBN: 0 19 853690 9Subject(s): LogicCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 CLO (Browse shelf (Opens below)) | Available | 36888 |
There are no comments on this title.