Goal-directed proof theory
- Författare
- Dov M. Gabbay
- (Dov M. Gabbay and Nicola Olivetti)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic | c2000 | Storbritannien, Dordrecht, London | x, 266 sidor. : ill. 25cm | 0-7923-6473-2 |