Croatian-German: translation for "predikatna logika"