入手した文献名を記します。

洋書

  • Rob Nederpelt and Herman Geuvers  Type Theory and Formal Proof: An Introduction, Cambridge University Press, 2014
  • R. Lanier Anderson  The Poverty of Conceptual Truth: Kant's Analytic/Synthetic Distinction and the Limits of Metaphysics, Oxford University Press, 2015


和書


邦語論文

  • 田中慎一  「新渡戸稲造について」、『北大百年史編集ニュース』、北海道大学創基百周年記念事業実行委員会編、第9号、1979年
  • 田中愼一  「新渡戸稲造の植民地朝鮮観」、『北大百年史編集ニュース』、北海道大学創基百周年記念事業実行委員会編、第11号、1980年
  • 田中愼一  「新渡戸稲造と朝鮮」、『季刊 三千里』、三千里社、第34号、1983年

最初の論文と、後の二つの論文の著者名に異同がありますが、論文中の表記に従っております。これら三つの論文は同一著者によるものです。