first-order logic - Almanca İngilizce Sözlük