Martínez, I., & Piza, E. (2017). Decision problems and recursiveness in formal logic systems.
استشهاد بنمط شيكاغوMartínez, Iveth, و Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
MLA استشهادMartínez, Iveth, و Eduardo Piza. Decision Problems and Recursiveness in Formal Logic Systems. 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.