Logik und Formale Methoden

Bernd Giesinger