Terms for subject Information technology containing second order logic

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