TY - CHAP A1 - Gethmann, Carl Friedrich T1 - 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) T2 - Berichte und Abhandlungen / Berlin-Brandenburgische Akademie der Wissenschaften (vormals Preußische Akademie der Wissenschaften) ; 8.2000 Y1 - 2019 UR - https://edoc.bbaw.de/frontdoor/index/index/docId/3208 UR - https://nbn-resolving.org/urn:nbn:de:kobv:b4-opus4-32089 SP - 45 EP - 70 ER -