Hyperproof

Detalles Bibliográficos
Autor principal:	Barwise, Jon (Autor)
Otros Autores:	Etchemendy, John (coa)
Formato:	Libro
Idioma:	Inglés
Publicado:	Stanford, California Center for the Study of Language and Information 1994
Colección:	CSLI lecture notes 42
Materias:	Lenguaje y lenguas > Estudio y enseñanza > Programas de ordenador Lengua y lógica Hyperproof > Disquetes Hyperproof
Ver en Universidad Loyola - Universidad Loyola Granada:	https://colectivo.uloyola.es/Record/58547

Solicitar por préstamo interbibliotecario: Correo

Descripción
Notas:	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
Descripción Física:	XVII, 255 p. ; 24 cm+ 1 disquete
ISBN:	9781881526117

Ejemplares similares