PanLinx
韓國語
kor-002
命題論理
English
eng-000
propositional logic
français
fra-000
logique propositionnelle
한국어
kor-000
명제논리
PanLex