Việt
lôgic vị ngữ
Anh
predicate logic
PL
predicate logic /toán & tin/
PL /toán & tin/
PL, predicate logic