Percorrer por assunto Classical logic
Mostrar 3-3 de um total de 3 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2013 | Towards a canonical classical natural deduction system | Espírito Santo, José | Artigo | Acesso aberto |