圏論による論理学―高階論理とトポス
¥ 3,024