Mathematics of logic : Kaye, Richard
Material type:
TextPublication details: Cambridge ; | New York : Cambridge University Press, 2007Description: xi, 204 p. : ill. ; 24 cmISBN: - 9780521882194 (hbk.) | 9780521708777 (pbk.)
| Item type | Current library | Home library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
MATH-LiB General Stack | MATH-LiB | NFIC | 511.3 P07 (Browse shelf(Opens below)) | Available | 181291 |
Total holds: 0
Browsing MATH-LiB shelves, Shelving location: General Stack 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 P03 General Lattic theory | 511.3 P04 Proofs from the book | 511.3 P061 Finite model theory | 511.3 P07 Mathematics of logic : | 511.3 P081 Applied proof theory : | 511.3 P102 Axiom of determinacy, forcing axioms, and the nonstationary ideal | 511.32 N851 Set theory : |
Includes bibliographical references (p. 109) and index.
There are no comments on this title.
Log in to your account to post a comment.