Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik - Schwichtenberg, Helmut ([BuA, 8].(2000))