History and Philosophy of Logic. 2013;34(1):98-99. doi: 10.1080/01445340.2012.735805 N/A0.52025
Proof Analysis. A Contribution to Hilbert's Last Problem
DOI: 10.1080/01445340.2012.735805
摘要 查看摘要
History and Philosophy of Logic. 2013;34(1):98-99. doi: 10.1080/01445340.2012.735805 N/A0.52025
DOI: 10.1080/01445340.2012.735805
摘要 查看摘要