Logic for computer science
foundations of automatic theorem proving
Edición de la obra Logic for computer science
| Autor | Jean H. Gallier |
|---|---|
| Editorial | Wiley |
| Fecha de publicación | 1987 |
| Lugar | New York, Chichester |
| Idioma | inglés |
| Páginas | 511 |
| ISBN-10 | 0471615463 |
| Serie | Harper & Row computer science and technology series |
| Número de Cutter | G168l |