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 |