TY  - BOOK
AU  - Wolfram, D. A.
TI  - The clausal theory of types
SN  - 0521395380
U1  - 005.131 
PY  - 1993///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Programming languages (Electronic Computers)
ER  -