Hyperproof / Jon Barwise and John Etchemendy
| Main Author: | Barwise, Jon |
|---|---|
| Other Authors: | Etchemendy, John |
| Format: | Book |
| Publication: |
Stanford, California : Center for the Study of Language and Information, 1994 |
| Physical Description: | 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 |
| Collection: |
CSLI lecture notes
42 |
| Subjects: | |
| ISBN: |
1881526119 |
Córdoba - Depósito
| Copy 58548 | Available |
|---|