Research

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
CreatorsPym, D. J.and Ritter, E.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5451

Export

Actions (login required)

View Item