TY  - BOOK
T1  - The clausal theory of types
A1  - Wolfram, D.A
LA  - English
PP  - Cambridge, United Kingdom
PB  - Cambridge University Press
YR  - 1993
UL  - https://colectivo.uloyola.es/Record/L55441
OP  - 124
SN  - 0521395380
KW  - Lógica matemática
KW  - Programación de ordenadores
ER  -