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.