Implementing mathematics with the Nuprl proof development system
Edición de la obra Implementing mathematics with the Nuprl proof development system
| Autor | R. L. Constable |
|---|---|
| Editorial | Prentice-Hall |
| Fecha de publicación | 1986 |
| Lugar | Englewood Cliffs, N.J |
| Idioma | inglés |
| Páginas | 299 |
| ISBN-10 | 0134518322 |
| LCCN | 86008197 |
| Número de Cutter | C756i |