"Monadic and Bi-Lógicas Monádica e Bi-Sortida de primeira-ordem para a análise de conceitos formais" (Mestrado). Candidato: Guilherme dos Santos Carneiro. Orientador: professor Fabio Maia Bertato. Dia 4 de setembro de 2023, às 10 horas, no CLE do IFCH.
Monadic and Bi-Lógicas Monádica e Bi-Sortida de primeira-ordem para a análise de conceitos formais
