Subsystems of Second Order Arithmetic : (PML)
Material type:
TextSeries: Perspectives in Mathematical LogicPublication details: Berlin ; Springer ; 1999Description: 444ISBN: 3 540 64882 8Subject(s): Arithmetic
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 510.6 SIM (Browse shelf (Opens below)) | Available | 46953 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available |
|
|
|
No cover image available | ||
| 510.6 SHEN Basic set theory | 510.6 SHO Mathematical logic | 510.6 SHO Mathematical logic | 510.6 SIM Subsystems of Second Order Arithmetic : (PML) | 510.6 SIN Logics for computer science | 510.6 SKI Algorithm Design Manual | 510.6 SKO Mathematical interpretations of formal systems |
There are no comments on this title.