| LEADER |
00931nam a2200277 i 4500 |
| 001 |
000000059477 |
| 003 |
CaOOAMICUS |
| 005 |
20000107180506.0 |
| 008 |
970212s1990 GBR 001 0 eng c |
| 020 |
|
|
|a 0521371813
|
| 040 |
|
|
|a ULA
|b spa
|
| 080 |
|
|
|a 510.5
|
| 100 |
1 |
|
|a Girard, Jean-Yves
|4 aut.
|
| 210 |
1 |
0 |
|a Cambridge tracts in theoretical computer science
|v 7
|
| 245 |
1 |
0 |
|a Proofs and types /
|c Jean-Yves Girard, Yves Lafont, Paul Taylor
|
| 250 |
|
|
|a [1st. ed., rep.]
|
| 260 |
|
|
|a [Madrid]
|b Instituto de Estudios Financieros
|c 1990
|
| 300 |
|
|
|a XI, 176 p. ; 26 cm
|
| 650 |
|
7 |
|a Cálculo
|2 ula
|
| 650 |
|
7 |
|a Lengua y lógica
|2 ula
|
| 650 |
|
4 |
|a Lógica matemática
|
| 700 |
1 |
0 |
|a Taylor, Paul
|4 aut.
|
| 700 |
1 |
0 |
|a Lafont, Yves
|4 aut.
|
| 850 |
|
|
|a ULA
|
| 904 |
|
|
|a 2
|b 5
|c Disponibilidad
|d Fecha
|t 60311
|j 16184/510 GIR pro
|
| 952 |
|
|
|3 Libro
|a Loyola
|b LOYOLA CÓRDOBA
|c Sala D
|d 09-04-1997
|f 3
|i 60311
|o 16184/510 GIR pro
|p 60311
|q R. 30661
|