"Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen" von Jürgen Avenhaus ist ein Lehrbuch, das sich mit den theoretischen Grundlagen und praktischen Anwendungen von Reduktionssystemen befasst. Diese Systeme sind...