Cart
Logic and structure
By: Dalen, Dirk van.
Material type:
BookSeries: Universitext.Publisher: New York : Springer, ©2004Edition: 4th ed.Description: x, 263 p. : 24 cm. ill.ISBN: 9783540208792.Subject(s): Logic, Symbolic and mathematicalOnline resources: Contributor biographical information | Publisher description | Table of contents only
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|
Books
|
IIITD Reference | Mathematics | REF 511.3 DAL-L (Browse shelf) | Not For Loan | 008124 |
Introduction to Mathematical Logic(New) ECE Sci/Bio Elective+CSAM Elective Winter |
Total holds: 0
Browsing IIITD Shelves , Shelving location: Reference , Collection code: Mathematics Close 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 for this item.