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