Report - SBC-Sociedade Brasileira de Computação Currículo de ... · Lógica sentencial. Decidibilidade da lógica sentencial. A lógica de predicados de primeira ordem. Valores-verdade.

Please pass captcha verification before submit form