×
  • Formalisieren und Beweisen: Logik für Informatiker

    Dirk Siefkes (auth.)

Click on cover to enlarge.
5 - 6Hours to read