TY  - BOOK
AU  - Wolfram D.A
TI  - The Clausal Theory Of Types
SN  - 521395380
U1  - 510.1SAW 
PY  - 1993///
PB  - Cambridge
ER  -