Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
Pym, D. J. and Ritter, E., 2004. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. 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.
|Creators||Pym, D. J.and Ritter, E.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)