אנגלית ⇄ אוקראינית איטלקית אסטונית גרמנית דנית הולנדית יוונית יפנית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

predicate calculus מתח
.טכנול	исчисление предикатов :
.מָתֵי	исчисление предикатов

predicate calculus : 35 צירופים, 7 נושאים

הִגָיוֹן	2
טֶכנוֹלוֹגִיָה	2
מֵכָנִיקָה	1
מָתֵימָטִיקָה	23
מחשבים	1
ציוד אוטומטי	1
תִכנוּת	5