Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente [Internet]. Oficina Universitária; 2023 [citado 10º de outubro de 2025]. Disponível em: https://ebooks.marilia.unesp.br/index.php/lab_editorial/catalog/book/412