The Work Notes on the theory of variable-binding term operators The details The Author Newton da Costa The offers