TY  - BOOK
T1  - Hyperproof
T2  - CSLI lecture notes
A1  - Barwise, Jon
A2  - Etchemendy, John
LA  - English
PP  - Stanford, California
PB  - Center for the Study of Language and Information
YR  - 1994
UL  - https://colectivo.uloyola.es/Record/L58547
OP  - 255
NO  - Información adicional y actualizada sobre Hyperproof y Tarski's World puede encontrarse en Internet en http://www-csli.stanford.edu/hp/
NO  - Contiene 1 diskete 3" 1/2 con el programa Hyperproof para Macintosh
SN  - 1881526119
KW  - Lenguaje y lenguas : Estudio y enseñanza : Programas de ordenador
KW  - Lengua y lógica
KW  - Hyperproof : Disquetes
KW  - Hyperproof
ER  -