数理論理学とタイプ理論
116.3
ｱﾝ