Logik und Formale Methoden

Lilian Beckert