Martínez, I., & Piza, E. (2017). Decision problems and recursiveness in formal logic systems.
Dyfyniad Arddull ChicagoMartínez, Iveth, y Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Dyfyniad MLAMartínez, Iveth, y Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.