Return to Article Details
NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados
Baixar
Baixar PDF