//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
Book | AUM Main Library | 511.3 M537 (Browse Shelf) | Available | JBC/2011/11373 |
511.3 C456Mathematical logic / | 511.3 H396Diamond : | 511.3 M296A course in mathematical logic for mathematicians / | 511.3 M537Introduction to mathematical logic / | 511.3 R265A concise introduction to mathematical logic / | 511.3 S253Theory and applications of satisfiability testing : |
"A Chapman and Hall book."
Includes bibliographical references and index.
There are no comments for this item.