Algebraizing higher-order logics (2019)
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
ABNT
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 29 set. 2024.APA
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdfNLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 set. 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdfVancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 set. 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf