Propositional Logic
Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
Edición de la obra Propositional logic
| Autor | Hans Kleine Büning, Theodor Lettmann |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | August 28, 1999 |
| Idioma | inglés |
| Páginas | 420 |
| Formato | Hardcover |
| ISBN-13 | 9780521630177 |
| ISBN-10 | 0521630177 |
| Número de Cutter | B942p |