Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente. [s.l.] : Oficina Universitária,2023. DOI: 10.36311/2023.978-65-5954-362-5. Disponível em: https://ebooks.marilia.unesp.br/index.php/lab_editorial/catalog/book/412. Acesso em: 10 out. 2025.