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 |
| LEADER | 01222nam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | 000000058547 | ||
| 003 | CaOOAMICUS | ||
| 005 | 20000107175722.0 | ||
| 008 | 961213s1994 xuu 001 0 eng c | ||
| 020 | |a 1881526119 | ||
| 040 | |a ULA |b spa | ||
| 080 | |a * 80 | ||
| 080 | |a 80:681.3 | ||
| 100 | 1 | |a Barwise, Jon |4 aut. | |
| 245 | 1 | 0 | |a Hyperproof / |c Jon Barwise and John Etchemendy |
| 260 | |a Stanford, California |b Center for the Study of Language and Information |c 1994 | ||
| 300 | |a XVII, 255 p. ; 24 cm+ 1 disquete | ||
| 500 | |a Información adicional y actualizada sobre Hyperproof y Tarski's World puede encontrarse en Internet en http://www-csli.stanford.edu/hp/ | ||
| 500 | |a Contiene 1 diskete 3" 1/2 con el programa Hyperproof para Macintosh | ||
| 650 | 7 | |a Lenguaje y lenguas |x Estudio y enseñanza |x Programas de ordenador |2 ula | |
| 650 | 7 | |a Lengua y lógica |2 ula | |
| 650 | 7 | |a Hyperproof |x Disquetes |2 ula | |
| 650 | 7 | |a Hyperproof |2 ula | |
| 700 | 1 | 0 | |a Etchemendy, John |4 coa. |
| 830 | 0 | |a CSLI lecture notes |v 42 | |
| 850 | |a ULA | ||
| 904 | |a 2 |b 2 |c Disponibilidad |d Fecha |t 58548 |j 80 BAR hyp | ||
| 952 | |3 Libro |a Loyola |b LOYOLA CÓRDOBA |c Depósito |d 27-01-1997 |f @ |i 58548 |o 80 BAR hyp |p 58548 |q R. 32598 | ||
| 990 | |a fran | ||