Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.3 COO (Browse shelf) | Available | 019207 |
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 | 511.3 COR Mathematical logic : a course with exercises | 511.3 CUM Appalachian set theory : 2006-2012 |
There are no comments for this item.