Truth, deduction and computation - Davis R E