
Предикатная логика

Translation предикатная логика into english
предикатная логика
Предикатная логика изучается на курсах по информатике.
Predicate logic is studied in computer science courses.