History and Philosophy of Logic. 2008;29(4):309-325. doi: 10.1080/01445340801976516 N/A0.52025
Establishing Connections between Aristotle's Natural Deduction and First-Order Logic
DOI: 10.1080/01445340801976516
摘要
History and Philosophy of Logic. 2008;29(4):309-325. doi: 10.1080/01445340801976516 N/A0.52025
DOI: 10.1080/01445340801976516
摘要