Handbook of Proof Theory : (SL 137)
Material type:
TextSeries: Studies in Logic, 137Publication details: Netherlands ; Elsevier ; 1998Description: 811ISBN: 0 444 89840 9Subject(s): Proof Theory
BOOKS
| Current 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 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 510.6 (02) GAB Handbook Philosophical Logic, Vols.1-4 | 510.6(02) BEN Handbook of Logic and Language | 510.6(02) BLA Handbook of modal logic / | 510.6(02) BUSS Handbook of Proof Theory : (SL 137) | 510.6(02) DIT Handbook of Epistemic Logic | 510.6(02) ERS Handbook of Recursive Mathematics; Vol.I: Recursive Model Theory; Vol.2: Recursive Algebra, Analysis and Combinatorics | 510.6(02) ERS Handbook of Recursive Mathematics; Vol.I: Recursive Model Theory; Vol.2: Recursive Algebra, Analysis and Combinatorics |
There are no comments on this title.