Finite model theory Ebbinghaus, Heinz-Dieter,
Material type:
TextSeries: Springer monographs in mathematicsPublication details: New York, NY : Springer, 2006Edition: 2nd rev. and enl. ed. 1999Description: xi, 360 pISBN: - 9783540287872 (alk. paper) | 3540287876 (alk. paper)
| Item type | Current library | Home library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
MATH-LiB General Stack | MATH-LiB | NFIC | 511.3 P061 (Browse shelf(Opens below)) | Available | 188281 |
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 NP08 Course on mathematical logic | 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 |
There are no comments on this title.
Log in to your account to post a comment.