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

mathematische Logik
מחש.	logique formelle; logique mathématique; logique symbolique