גרמנית ⇄ אנגלית +

Logikkalkuel n
.טֶכנו	symbolic logic
.מָתֵי	mathematical logic