Englisch ⇄ Chinesisch Deutsch Dänisch Finnisch Französisch Griechisch Italienisch Niederländisch Portugiesisch Schwedisch Spanisch +

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