PanLinx
日本語
jpn-000
述語論理
English
eng-000
functional calculus
English
eng-000
predicate calculus
English
eng-000
predicate logic
suomi
fin-000
predikaattilogiikka
français
fra-000
calcul des prédicats
ภาษาไทย
tha-000
แคลคูลัสภาคแสดง
PanLex
