Martínez, I., & Piza, E. (2017). Problemas de decisión y recursividad en sistemas lógicos formales. Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA).
Citación estilo ChicagoMartínez, Iveth, y Eduardo Piza. Problemas De Decisión Y Recursividad En Sistemas Lógicos Formales. Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2017.
Cita MLAMartínez, Iveth, y Eduardo Piza. Problemas De Decisión Y Recursividad En Sistemas Lógicos Formales. Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2017.
Precaución: Estas citas no son 100% exactas.