Lógica Formal: Da lógica aristotélica Ao cálculo Sentencial Bivalente; Oficina Universitária, 2023. https://doi.org/10.36311/2023.978-65-5954-362-5.