publicação venue de Metodologias para o Ensino de Lógica em Libras: Notas sobre o desenvolvimento de uma aula de Lógica para o projeto IFSP FILOLIBRAS. 20:1-15. 2022-01-01 The Kochen--Specker theorem and ontological (in)completeness of quantum objects. 20:1-12. 2022-01-01