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).
Chicago Style CitationMartínez, Iveth, and 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.
MLA CitationMartínez, Iveth, and 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.
Warning: These citations may not always be 100% accurate.