Wahrheit und Beweisbarkeit Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung - Gethmann, Carl Friedrich