Prädikatenlogik

Prooftrees

Die Prädikatenlogik