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