Truth, deduction and computation - logic and semantics for computer science
- Författare
- Ruth E. Davis
- (R.E. Davis.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Computer Science Press | cop. 1989 | USA, New York | xv, 265 sidor. |