LPO

3 Novembro 2017, 09:30 • João Balsa da Silva

Lógica de primeira ordem: semântica e inferência