Search Results
Showing 1 - 9 of 9 results
Search Results
Higher-order algebra, logic, and term rewriting
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267 .H484 1996 | ✔ Available |
Computation, proof, machine
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA26 .D69 2015 | ✔ Available |