Konstruktiv adäquate Beweisautomatisierung für intuitionistische LogikDaniel KornUitverkocht4,3Volgen