Hyperproof - Barwise, Jon; Etchemendy, John (Stanford, California Center for the Study of Language and Information, 1994)
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
Keywords: Lenguaje y lenguas -- Estudio y enseñanza -- Programas de ordenador; Lengua y lógica; Hyperproof -- Disquetes; Hyperproof