TY  - CHAP
A1  - Schwichtenberg, Helmut
T1  - 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)
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/3209
UR  - https://nbn-resolving.org/urn:nbn:de:kobv:b4-opus4-32090
SP  - 71
EP  - 94
ER  -