Equal rights for the cut: computable non-analytic cuts in cut-based proofs (2007)
Source: Logic Journal of IGPL. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, v. 15, n. 5-6, p. 553-575, 2007Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzm040. Acesso em: 08 out. 2025.APA
Finger, M., & Gabbay, D. (2007). Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, 15( 5-6), 553-575. doi:10.1093/jigpal/jzm040NLM
Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzm040Vancouver
Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzm040
