pedro-henrique-guterres-barateiro documents

Documents Lógica de Predicados Semântica. Interpretações mais elaboradas do que as da Lógica Proposicional De novo, associar significados a símbolos sintáticos