Algebraizable logics and a functorial encoding of its morphisms
Darllan Conceição Pinto Hugo Luiz Mariano
Logic Journal of the IGPL Oxford v. 25, n. 4, p. 524-561, 2017
Oxford 2017
Localização:
IME - Inst. Matemática e Estatística
(PROD-2855809 )(Acessar)