記号論理学
同義語
論理代数学
,
論理計算
,
数学的論理学
,
現代論理学
,
数理論理学
,
Logic, Symbolic and mathematical
上位語・
件名標目
・関連語・下位語
論理学
記号論理学
数学基礎論
,
論理実証主義
,
ブール代数
分類記号(NDLC):
H35;MA41
分類記号(NDC9):
116.3;410.96
分類記号(NDC10):
116.3;410.96