Computability theory, semantics, and logic programming
Edición de la obra Computability theory, semantics, and logic programming
| Autor | Melvin Fitting |
|---|---|
| Editorial | Oxford University Press, Clarendon Press |
| Fecha de publicación | 1987 |
| Lugar | New York, Oxford |
| Idioma | inglés |
| Páginas | 198 |
| ISBN-10 | 0195036913 |
| LCCN | 85005003 |
| Serie | Oxford logic guides ; · 13 |
| Número de Cutter | F547c |