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 | 2011 |
| Idioma | inglés |
| ISBN-13 | 9780511873256 |
| Número de Cutter | P332l |
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 | 2011 |
| Idioma | inglés |
| ISBN-13 | 9780511873256 |
| Número de Cutter | P332l |