Croatian-German: translation for "simbolicka logika"