Die formalen Regeln der intuitionistischen Logik