Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 2026-02-16T00:15:01+03:00 DEBUG: VuFind\ILS\Driver\Folio: Token taken from global cache: eyJhbGciOiJIUzI1NiJ9.eyJzdWIiO... - Arruda, Ayda I.; Chuaqui, R; Costa, Newton C. A. d (Studies in logic and the foundations of mathematics ;, 1977)