@incollection{Gethmann2019, author = {Carl Friedrich Gethmann}, title = {Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung ; (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}, }