Formalizações e deduções na lógica de predicados

28 Novembro 2017, 18:00 • Ricardo Santos

Exercícios de formalização e de dedução natural na lógica de predicados.