TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
AU  - Allwein,Gerard
TI  - Hyperproof
T2  - CSLI lecture notes ; 42
SN  - 1881526119
PY  - 1994///
CY  - Stanford
PB  - [S.n.]
KW  - APLICACIONES DE LAS COMPUTADORAS
KW  - MATEMÁTICA Y ESTADÍSTICA
KW  - HYPERPROOF (PROGRAMA)
KW  - TARSKI'S WORLD (PROGRAMA)
N1  - Hyperproof es un programa para la enseñanza de los principios básicos del razonamiento analítico. Un programa para Macintosh derivado de Tarski's World
ER  -