A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte III
LoTTec
Lógica – Teorias e Técnicas
Lógica – Teorias e Técnicas
A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte III