相関牽引

分類記号	分類名	相関索引
116.3	記号論理学．論理実証主義．分析哲学	論理計算（論理学）
410.96	記号論理学［論理計算］	論理計算（数学）

分類名 パターンマッチ

分類記号	分類名
410.96	記号論理学［論理計算］