2023. Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente. Oficina Universitária.