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, Longman Higher Education |
| Fecha de publicación | 1986 |
| Lugar | New York, NY |
| Idioma | inglés |
| Páginas | 511 |
| ISBN-10 | 0060422254 |
| OCLC | 12216897 |
| LCCN | 85014071 |
| Serie | Harper & Row computer science and technology series |
| Número de Cutter |