Beweisen

Nachweis von Eigenschaften mittels Prädikatenlogik und Induktion:



Uwe Petermann 2006-06-13