Formalizações e deduções na lógica de predicados
3 Dezembro 2018, 18:00 • Ricardo Santos
Exercícios de formalização e de dedução natural na lógica de predicados.
3 Dezembro 2018, 18:00 • Ricardo Santos
Exercícios de formalização e de dedução natural na lógica de predicados.