Logic and structure
Material type: TextSeries: UniversitextPublication details: New York : Springer, ©2004.Edition: 4th edDescription: x, 263 p. : 24 cm. illISBN:- 9783540208792
- 511.3 22 DAL-L
- QA9 .D16 2004
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|
Reference | IIITD Reference | Mathematics | REF 511.3 DAL-L (Browse shelf(Opens below)) | Not for loan | 008124 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
REF 511.3 CRE-C Complexity classifications of Boolean constraint satisfaction problems | REF 511.3 CUN-L A logical introduction to proof | REF 511.3 CUR-F Foundations of mathematical logic | REF 511.3 DAL-L Logic and structure | REF 511.3 DOW-A Algorithmic randomness and complexity | REF 511.3 DOW-P Parameterized complexity | REF 511.3 EBB-M Mathematical logic |
Includes bibliographical references (p. [257]-258) and index.
There are no comments on this title.