圏論による論理学―高階論理とトポス
評価 :(未評価)
参考になった人:0人   参考になった