Email Record: Non-classical logics, model theory, and computability :