| Original language | English |
|---|---|
| Place of Publication | Oxford |
| Publisher | Clarendon Press |
| ISBN (Print) | 0198526334 |
| Publication status | Published - 2004 |
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
D J Pym, E Ritter
Research output: Book/Report › Book