Non classical logics model theory computability von arruda ayda (1 Ergebnisse)

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