2011-07-25 ■ 注文文献 注文文献 Sara Negri and Jan von Plato Proof Analysis: A Contribution to Hilbert's Last Problem, Cambridge University Press, Due in October 2011 中島信之 『あいまいさの系譜』、ソフトサイエンス叢書 3, 三恵社、2006年