Reductive logic and proof-search - proof theory, semantics, and control
- Författare
- David J. Pym
- (David J. Pym and Eike Ritter.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Oxford University Press | 2004 | New York, New York | xv, 208 sidor. | 0-19-852633-4 |
| Oxford University Press | 2004 | England, Oxford | 226 sidor. |