Terms containing predicate logic

Subject	English	Greek
IT	clause form of predicate logic	μορφή του κατηγορηματικού λογισμού
IT	first-order predicate logic	κατηγορηματική λογική
IT	first-order predicate logic	κατηγορηματικός λογισμός
IT	predicate logic	κατηγορηματικός λογισμός
IT	predicate logic	κατηγορηματική λογική
IT	second-order predicate logic	κατηγορηματικός λογισμός δευτέρου βαθμού
IT	second-order predicate logic	κατηγορηματική λογική δευτέρου βαθμού
IT	second-order predicate logic	λογική δευτέρου βαθμού