まず洋書から。順不同。 Roy L. Crole Categories for Types, Cambridge University Press, Cambridge Mathematical Textbooks, 1993 Anil Gupta Truth, Meaning, Experience, Oxford University Press, 2011 次に和書。順不同。 ウンベルト・エーコ 『完全…

今日は入手した文献の名前を記すのみにとどめます。