Idioma:

Analytic methods for the logic of proofs

Marcelo Finger International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16 (16. 2007 Provence)

Journal of Logic and Computation Oxford v. 20, n. 1, p. 167-188, 2010

Localização: IME - Inst. Matemática e Estatística (PROD-1822336 ) e outros locais(Acessar)

Título:
Analytic methods for the logic of proofs
Autor: Marcelo Finger
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16 (16. 2007 Provence)
Assuntos: LÓGICA COMBINATÓRIA
É parte de: Journal of Logic and Computation Oxford v. 20, n. 1, p. 167-188, 2010
Notas: Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 11 fev. 2021
Editor: Oxford
Data de criação/publicação: 2010
Formato: p. 167-188.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 3 Avançar Ir para próxima página