| Original language | English |
|---|---|
| Publisher | Oxford University Press |
| Volume | 45 |
| ISBN (Print) | 0198526334 |
| Publication status | Published - 1 Jan 2004 |
Reductive Logic and Proof-search: Proof Theory - Oxford Logic Guides
D Pym, Eike Ritter
Research output: Book/Report › Book