@incollection{Schwichtenberg2019,
  author    = {Helmut Schwichtenberg},
  title     = {Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik ; (Vortrag in der gemeinsamen Sitzung der Geisteswissenschaftlichen und der Mathematisch-naturwissenschaftlichen Klasse am 26. November 1999)},
  booktitle = {Berichte und Abhandlungen / Berlin-Brandenburgische Akademie der Wissenschaften (vormals Preußische Akademie der Wissenschaften) ; 8.2000},
  year      = {2019},
}