Konstruktiv adäquate Beweisautomatisierung für intuitionistische LogikDaniel KornAusverkauft4,3Bewachen