Logic for computer science - foundations of automatic theorem proving
- Författare
- Jean H. Gallier
- (Jean H. Gallier.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Wiley | cop. 1987 | USA, New York | 511 sidor. | |
| Harper & Row | cop. 1986 | USA, New York | xv, 511 sidor. |