Beweise und Programme Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik - Schwichtenberg, Helmut