Logic
form and function : the mechanization of deductive reasoning
Edición de la obra Logic
| Autor | J. A. Robinson |
|---|---|
| Editorial | University Press |
| Fecha de publicación | 1979 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 312 |
| ISBN-10 | 0852243057 |
| OCLC | 5705969 |
| LCCN | 79312304 |
| Número de Cutter | R662l |