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