abstraction and proof - Türkisch Englisch Wörterbuch