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.
警告: この引用は必ずしも正確ではありません.