Teoria da prova estrutural
De Wikipedia, a enciclopédia encyclopedia
Na lógica matemática, teoria da prova estrutural é a especialidade da teoria da prova que estuda cálculos prova que suportam uma noção de prova analítica.
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Agosto de 2014) |