second-order logic - Türkisch Englisch Wörterbuch