Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente. Oficina Universitária, 2023. doi: 10.36311/2023.978-65-5954-362-5.