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