Logic and Computation
Interactive Proof with Cambridge LCF
Edición de la obra Logic and Computation
| Autor | Lawrence C. Paulson |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 1987 |
| Lugar | Cambridge |
| Idioma | inglés |
| Páginas | 320 |
| Formato | [electronic resource] : |
| ISBN-13 | 9780511526602 |
| ISBN-10 | 0511526601 |
| OCLC | 668199303 |
| Serie | Cambridge Tracts in Theoretical Computer Science -- no. 2 · Cambridge Tracts in Theoretical Computer Science -- no. 2. |