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)
Verfasserangaben: | Helmut Schwichtenberg |
---|---|
URN: | urn:nbn:de:kobv:b4-opus4-32090 |
Titel des übergeordneten Werkes (Deutsch): | Berichte und Abhandlungen / Berlin-Brandenburgische Akademie der Wissenschaften (vormals Preußische Akademie der Wissenschaften) ; 8.2000 |
Dokumentart: | Teil eines Buches (Kapitel, Sammelbandbeitrag) |
Sprache: | Deutsch |
Datum der Veröffentlichung (online): | 05.07.2019 |
Veröffentlichende Institution: | Berlin-Brandenburgische Akademie der Wissenschaften |
Datum der Freischaltung: | 08.07.2019 |
Erste Seite: | 71 |
Letzte Seite: | 94 |
Institute: | BBAW / Berlin-Brandenburgische Akademie der Wissenschaften |
Schriftenreihen in Einzelbeiträgen: | BBAW / Schriftenreihen / Berichte und Abhandlungen / Berichte und Abhandlungen - Band 8 |
Lizenz (Deutsch): | Creative Commons - CC BY-NC-SA - Namensnennung - Nicht kommerziell - Weitergabe unter gleichen Bedingungen 4.0 International |