Non Classical Logics Model Theory Computability by Arruda Ayda (1 results)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976