//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
Book | AUM Main Library | 511.32 S381 (Browse Shelf) | Available | |
Book | AUM Main Library | 511.32 S381 (Browse Shelf) | Available | |
Book | AUM Main Library | 511.32 S381 (Browse Shelf) | Available |
511.3 S253Theory and applications of satisfiability testing : | 511.32 S381Ordered sets : | 511.32 S381Ordered sets : | 511.32 S381Ordered sets : | 511.322 K433Abstract sets and finite ordinals : | 511.322 W926Computational prospects of infinity / |
Includes bibliographical references (p. [359]-376) and index.
There are no comments for this item.