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