Logik und Formale Methoden

Ralf Kölmel