Hyperproof / Jon Barwise and John Etchemendy
| Autor principal: | Barwise, Jon |
|---|---|
| Otros autores: | Etchemendy, John |
| Formato: | Libro |
| Publicación: |
Stanford, California : Center for the Study of Language and Information, 1994 |
| Descripción física: | XVII, 255 p. ; 24 cm+ 1 disquete |
| Clasificación CDU: |
* 80 80:681.3 |
| Nota: |
Información adicional y actualizada sobre Hyperproof y Tarski's World puede encontrarse en Internet en http://www-csli.stanford.edu/hp/ Contiene 1 diskete 3" 1/2 con el programa Hyperproof para Macintosh |
| Colección: |
CSLI lecture notes
42 |
| Materias: | |
| ISBN: |
1881526119 |
Córdoba - Depósito
| Copia 58548 | Disponible |
|---|