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