TY  - BOOK
AU  - Davis R E
TI  - Truth, deduction and computation
U1  - D65,8(B):(R1), M9 
ER  -