//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
![]() |
AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available | |
![]() |
AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available | |
![]() |
AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available |
![]() |
![]() |
||||||
511.3 C456Mathematical logic / | 511.3 R265A concise introduction to mathematical logic / | 511.3 S253Theory and applications of satisfiability testing : | 511.3 S253Theory and applications of satisfiability testing : | 511.3 S253Theory and applications of satisfiability testing : | 511.322 K433Abstract sets and finite ordinals : |
Includes bibliographical references and index.
Also issued online.
There are no comments for this item.