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 |
| LEADER | 01113nam a2200301 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 | ||
| 990 | |a fran | ||