|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170131.0 |
| 008 |
230201s1994 xxua r 000 0 eng d |
| 020 |
|
|
|a 1881526119
|
| 024 |
8 |
|
|a DIF-M149
|b 149
|z DIF000156
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Barwise, Jon
|
| 245 |
1 |
0 |
|a Hyperproof
|
| 260 |
|
|
|a Stanford :
|b [S.n.],
|c c1994
|
| 300 |
|
|
|a xvii, 255 p. :
|b il. ;
|c 26 cm.
|
| 490 |
0 |
|
|a CSLI lecture notes ; 42
|
| 500 |
|
|
|a 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
|
| 650 |
|
4 |
|a APLICACIONES DE LAS COMPUTADORAS
|
| 650 |
|
4 |
|a MATEMÁTICA Y ESTADÍSTICA
|
| 650 |
|
4 |
|a HYPERPROOF (PROGRAMA)
|
| 650 |
|
4 |
|a TARSKI'S WORLD (PROGRAMA)
|
| 700 |
1 |
|
|a Etchemendy, John
|
| 700 |
1 |
|
|a Allwein, Gerard
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 J2_BAR
|7 0
|9 73539
|a DIF
|b DIF
|d 2006-07-17
|i DIF-00330
|l 0
|o J.2 BAR
|p DIF-00330
|r 2025-03-11 17:01:31
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 50159
|d 50159
|
