A eliminação do quantificador existencial
27 Novembro 2017, 18:00 • Ricardo Santos
Dedução natural na lógica de predicados (continuação): a eliminação do quantificador existencial.
27 Novembro 2017, 18:00 • Ricardo Santos
Dedução natural na lógica de predicados (continuação): a eliminação do quantificador existencial.