Terms containing first-order logic

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