Little Prover
Edición de la obra Little Prover
| Autor | Daniel P. Friedman, Carl Eastlund, Duane Bibby, J. Strother Moore, Matthias Felleisen |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 248 |
| ISBN-13 | 9780262330558 |
| Número de Cutter | F911l |