Title: Non-classical logics, model theory, and computability
Subjects: Nonclassical mathematical logic, Model theory, Congresses, Computable functions