Logic and structure
Material type:
- 9783540208792
- 511.3 22 DAL-L
- QA9 .D16 2004
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|
![]() |
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.