second-order logic - Französisch Englisch Wörterbuch