Mathematik: LogikJürgen Avenhaus × ReduktionssystemeRechnen und Schließen in gleichungsdefinierten StrukturenJürgen AvenhausSpringer BerlineBook201342,99 €