Logik und Formale Methoden

Elke Sauer