Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 ROD (Browse shelf(Opens below)) | Available | 298230 |
511.3 RIC Logic and Language Models for Computer Science | 511.3 ROB Mathematical logic : a first course | 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 |
Includes index
There are no comments on this title.