Reconciling first-order logic to algebra (2018)
Fonte: Contradictions, from consistency to inconsistency. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
ABNT
CARNIELLI, Walter Alexandre e MARIANO, Hugo Luiz e MATULOVIC, Mariana. Reconciling first-order logic to algebra. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_13. Acesso em: 24 abr. 2024.APA
Carnielli, W. A., Mariano, H. L., & Matulovic, M. (2018). Reconciling first-order logic to algebra. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_13NLM
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13Vancouver
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13