Propositional logic - deduction and algorithms
- Författare
- Hans Kleine Büning
- (Hans Kleine Büning, Theodor Lettman)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 1999 | Storbritannien, Cambridge | 409 sidor. : ill. 24 cm | 0-521-63017-7 |