肝心の研究会は
松阪先生と戸田山先生のお話が面白かったです。
LandiniのRussellのsubstitution theoryに関する解説記事が、Companion to Russell (Cambridge University Press, 2003, pp. 241-285)にあったので、こんどみてみよう(時間があったら)。
松阪先生と戸田山先生のお話が面白かったです。
LandiniのRussellのsubstitution theoryに関する解説記事が、Companion to Russell (Cambridge University Press, 2003, pp. 241-285)にあったので、こんどみてみよう(時間があったら)。