| LEADER |
00730nam a2200241 i 4500 |
| 001 |
000000055441 |
| 003 |
CaOOAMICUS |
| 005 |
20000107174121.0 |
| 008 |
960620s1993 xuu 001 0 eng c |
| 020 |
|
|
|a 0521395380
|
| 040 |
|
|
|a ULA
|b spa
|
| 080 |
|
|
|a * 681.3
|
| 080 |
|
|
|a 681.3
|
| 100 |
1 |
|
|a Wolfram, D.A
|4 aut.
|
| 210 |
1 |
0 |
|a Cambridge tracts in theoretical computer science
|v 21
|
| 245 |
1 |
4 |
|a The clausal theory of types /
|c D.A. Wolfram
|
| 260 |
|
|
|a Cambridge, United Kingdom
|b Cambridge University Press
|c 1993
|
| 300 |
|
|
|a VIII, 124 p. ; 25 cm
|
| 650 |
|
4 |
|a Lógica matemática
|
| 650 |
|
7 |
|a Programación de ordenadores
|2 ULA
|
| 850 |
|
|
|a ULA
|
| 904 |
|
|
|a 2
|b 2
|c Disponibilidad
|d Fecha
|t 55442
|j 8046/681.3 WOL cla
|
| 990 |
|
|
|a emil
|