Navegando por Assunto Argumento válido (álgebra)
Mostrando resultados 1 a 2 de 2
| Pré-visualização | Data do documento | Tipo | Título | Autor(es) |
|---|---|---|---|---|
| 10-Dez-2012 | Apresentacao | Inferência lógica e os sistemas de derivação | Levada, Alexandre Luis Magalhães | |
| 10-Dez-2012 | Apresentacao | Prova por resolução | Levada, Alexandre Luis Magalhães |