Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 ROS (Browse shelf(Opens below)) | Available | 194450 |
511.3 ROB.2 Handbook of automated reasoning | 511.3 ROD JFLAP-an interactive formal languages and automata package | 511.3 ROS Weaving self-evidence : a sociology of logic | 511.3 ROS Fuzzy logic and probability applications : bridging the gap | 511.3 ROS Logic for mathematicians | 511.3 ROS Logic for mathematicians | 511.3 ROT Journey into mathematics: an introduction to Proofs |
Includes bibliographical references and index
There are no comments on this title.