Logik und Formale Methoden

Prof. Dr. Bernhard Beckert

  •