TY  - BOOK
T1  - Proofs and types
A1  - Girard, Jean-Yves
A2  - Taylor, Paul
A2  - Lafont, Yves
LA  - English
PP  - Madrid
PB  - Instituto de Estudios Financieros
YR  - 1990
ED  - [1st. ed., rep.]
UL  - https://colectivo.uloyola.es/Record/L59477
OP  - 176
SN  - 0521371813
KW  - Cálculo
KW  - Lengua y lógica
KW  - Lógica matemática
ER  -