Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung - Gethmann, Carl Friedrich ([BuA, 8].(2000))