Terms containing first-order logic

Subject	English	Greek
IT	first order logic	κατηγορηματικός λογισμός
IT	first order logic	κατηγορηματική λογική
IT	first-order predicate logic	κατηγορηματική λογική
IT	first-order predicate logic	κατηγορηματικός λογισμός