Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 CHI (Browse shelf) | Available | 021839 |
511.3 CHA Unknowable | 511.3 CHA Modal logic | 511.3 CHI Mathematical logic | 511.3 CHI Course in formal languages, automata and groups | 511.3 COH Introduction to computer theory | 511.3 COO New computational paradigms : changing conceptions of what is computable | 511.3 COR Mathematical logic : a course with exercises |
There are no comments for this item.