Semantic Foundations of Proof-search
Reference:
Pym, D. J., 2003. Semantic Foundations of Proof-search. Journal of Logic and Computation, 13 (5), pp. 634-638.
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 | Articles |
| Creators | Pym, D. J. |
| Departments | Faculty of Science > Computer Science |
| Refereed | Yes |
| Status | Published |
| ID Code | 5518 |
| Additional Information | ID number: ISI:000186445700001 |
Export
Actions (login required)
| View Item |
