Image from Amazon.com
Finite model theory
Material type:
TextSeries: Springer monographs in mathematicsPublication details: Berlin : Springer-Verlag, ©2006.Edition: 2nd rev. and enl. edDescription: xi, 360 p. : ill. ; 24 cm (Hardbound)ISBN: - 9783540287872
- 511.3 EBB / B
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
IIT - Dharwad | MAT | 511.3 EBB / B (Browse shelf(Opens below)) | Costly Reference | 1256 |
Browsing IIT - Dharwad shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 BEN / B Mathematical logic for computer science | 511.3 BRO / B Classical decision problem | 511.3 COO / B Computability theory | 511.3 EBB / B Finite model theory | 511.3 EBB / B Mathematical logic | 511.3 EBB / NBHM Mathematical logic | 511.3 END / B A mathematical introduction to logic |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.