derivability relation

Wörterbuch