Moderne Termlogik: Algorithmen für die Termlogik: Die Termlogik als Reduktionssystem

Algorithmen für die Termlogik

Bearbeiten

Die Termlogik als Reduktionssystem

Bearbeiten