Text this: Non-classical logics, model theory, and computability :