Việt
lôgic dự đoán bậc một
Anh
First Order Predicate Logic
First Order Predicate Logic /điện tử & viễn thông/