Equational logic as a programming language
Edición de la obra Equational logic as a programming language
| Autor | O'Donnell, Michael J. |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 1985 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| Páginas | 296 |
| ISBN-10 | 026215028X |
| OCLC | 11599858 |
| LCCN | 84029507 |
| Serie | MIT Press series in the foundations of computing |
| Número de Cutter | E64 |