Hyperproof
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Inglés |
| Published: |
Stanford, California
Center for the Study of Language and Information
1994
|
| Series: | CSLI lecture notes
42 |
| Subjects: | |
| See on Universidad Loyola - Universidad Loyola Granada: | https://colectivo.uloyola.es/Record/58547 |
Request an interlibrarian loan:
Email
| Item Description: | 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 |
|---|---|
| Physical Description: | XVII, 255 p. ; 24 cm+ 1 disquete |
| ISBN: | 9781881526117 |
