Martínez, I., & Piza, E. (2017). Decision problems and recursiveness in formal logic systems.
Trích dẫn kiểu ChicagoMartínez, Iveth, và Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Trích dẫn MLAMartínez, Iveth, và Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.