Resultados da pesquisa
Crie a página "Ricardo Augustinis" nesta wiki! Veja também a página encontrada na pesquisa.
- paraconsistente de da Costa Tese de Doutorado 2004 Download Castro, Milton Augustinis de Hierarquias de sistemas de dedução natural e de sistemas de tableaux...11 kB (26 palavras) - 00h54min de 29 de abril de 2012