The monadic second order theory of countable ordinals
Material type:
TextSeries: Lecture notes in Mathematics ; 328Publication details: Berlin Springer-Verlag 1973Description: vi, 217pSubject(s): DDC classification: - 511.3 B919.MS
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Book
|
ISID | 511.3 B919.MS (Browse shelf(Opens below)) | Available | DP14410 |
Browsing ISID shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available | No cover image available | No cover image available |
|
No cover image available | ||
| 511.3 B766.TS Theory of Sets / | 511.3 B851.BM Beginning model theory ; the completeness theorem and some consequences / | 511.3 B876.CL Brouwer's Cambridge lectures on intuitionism | 511.3 B919.MS The monadic second order theory of countable ordinals | 511.3 C288.SI Studies in inductive logic and probability | 511.3 C435.ER Exploring randomness / | 511.3 C561.IM Introduction to mathematical logic / |
"Decidable theories-II"
There are no comments on this title.
Log in to your account to post a comment.