Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente
Advertimos que esta é uma obra para não iniciados e, como tal, com o risco de cometer algumas imprecisões, se utilizará de uma linguagem o menos técnica possível. Saiba mais sobre Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente