Martínez, I., & Piza, E. (2017). Decision problems and recursiveness in formal logic systems.
Παραπομπή Chicago StyleMartínez, Iveth, και Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Παραπομπή MLAMartínez, Iveth, και Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.