Describir: Deduktion. Automatisierung der Logik /