|
|
|
|
| LEADER |
00000nam a22000002a 4500 |
| 003 |
UV# |
| 005 |
20170831153354.0 |
| 006 |
aa r 000 0 |
| 008 |
971028s1997 mx a r 000 0 spa d |
| 999 |
|
|
|c 30724
|d 30724
|
| 035 |
|
|
|a (Sirsi) a61696
|
| 035 |
|
|
|a (Sirsi) a61696
|
| 040 |
|
|
|a UV#
|b spa
|c UV#
|
| 084 |
|
|
|a INF66
|
| 090 |
|
4 |
|a INF158
|
| 100 |
1 |
|
|a Díaz López, Joaquín
|
| 245 |
1 |
3 |
|a El mundo de TARSKI
|b : una herramienta auxiliar en la enseñanza de la lógica de primer orden
|c / Joaquín DÍaz López.
|
| 260 |
|
|
|a Xalapa, Ver.
|b : [s. n.],
|c 1997.
|
| 300 |
|
|
|a 91 p.
|b : il.
|c ; 27 cm.
|
| 502 |
|
|
|a Tesina (Licenciatura en Informática) -- Universidad Veracruzana, 1997.
|
| 504 |
|
|
|a Bibliografía: p. 90-91.
|
| 653 |
|
|
|a Informática.
|
| 942 |
|
|
|c TESIS
|6 _
|
