Handbook of Recursive Mathematics; Vol.I: Recursive Model Theory; Vol.2: Recursive Algebra, Analysis and Combinatorics
Material type: TextSeries: Studies in Logic and Foundations of Maths.,Vols.138 & 139Publication details: Netherlands ; Elsevier ; 1998Description: 1372ISBN: 0 444 50107 XSubject(s): Recursive MathematicsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6(02) ERS (Browse shelf (Opens below)) | Available | 42750 | ||
IMSc Library | IMSc Library | 510.6(02) ERS (Browse shelf (Opens below)) | Available | 42749 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
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 | 510.6(02) GAB Handbook of Philosophical Logic: (Vol.5) | 510.6(02) GAB Handbook of Philosophical Logic: (Vol.5) | 510.6(02) GAB Handbook of Philosophical Logic: (Vol.5) |
There are no comments on this title.