Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
Reference:
Pym, D. J. and Ritter, E., 2004. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford: Clarendon Press.
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Details
| Item Type | Book/s |
| Creators | Pym, D. J.and Ritter, E. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 5451 |
Export
Actions (login required)
| View Item |
