Analytic methods for the logic of proofs (2010)
Source: Journal of Logic and Computation. Conference titles: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 30 nov. 2025. , 2010APA
Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065NLM
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 nov. 30 ] Available from: https://doi.org/10.1093/logcom/exn065Vancouver
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 nov. 30 ] Available from: https://doi.org/10.1093/logcom/exn065
