Non-classical logics, model theory, and computability proceedings of the third Latin-American symposium on mathematical logic. Studies in logic and the foundations of mathematics 89.