Logic: form and function - the mechanization of deductive reasoning
- Författare
- John Alan Robinson
- (J.A. Robinson)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| U.P. | cop. 1979 | Storbritannien, Edinburgh | 312 sidor. | 0-85224-305-7 |