The Work Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen The details The Author Gerhard Gentzen The offers