Logic and Computation
Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Edición de la obra Logic and computation
| Autor | Lawrence C. Paulson |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | July 27, 1990 |
| Idioma | inglés |
| Páginas | 320 |
| Formato | Paperback |
| ISBN-13 | 9780521395601 |
| ISBN-10 | 0521395607 |
| Número de Cutter | P332l |