Proof, logic, and formalization
- Författare
- Detlefsen
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Routledge | 1992 | Utgivningsland okänt / Ej specificerat, Hoboken | ||
| Routledge | 1992 | Storbritannien, London | 241 sidor. | |
| Routledge | 1992 | England, London, New York | x, 241 sidor. ill. 23 cm. |