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