Subsystems of second order arithmetic
Material type: TextLanguage: English Series: Publication details: Cambridge University Press 2009 Edition: 2nd edDescription: xvi, 444pISBN: 9780521884396 (HB)Subject(s): PREDICATE CALCULUSDDC classification: 511.3 SIM(SUB)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.3 SIM(SUB) (Browse shelf(Opens below)) | 1 | Available | 9837 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 SAC(DEG) Degrees of unsolvability | 511.3 SCH(USE) The use of ultraproducts in commutative algebra | 511.3 SIE(BUC) Buchis Monadic second order successor arithmetic | 511.3 SIM(SUB) Subsystems of second order arithmetic | 511.3 SIP(INT) Introduction to the theory of computation | 511.3 SRI(COU) A course on mathematical logic | 511.3 SRI(COU) A course on mathematical logic |
SAR/141/2009/30-10-09
There are no comments on this title.