Martínez, I., & Piza, E. (2017). Decision problems and recursiveness in formal logic systems.
Citação norma ChicagoMartínez, Iveth, y Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Citação norma MLAMartínez, Iveth, y Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.