| Original language | English |
|---|---|
| Place of Publication | Oxford |
| Publisher | Clarendon Press |
| ISBN (Print) | 0198526334 |
| Publication status | Published - 2004 |
Cite this
Pym, D. J., & Ritter, E. (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Clarendon Press.