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)

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 15 von 81


Link zu diesem Datensatz	https://d-nb.info/1238894569
Titel	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) / Carl Friedrich Gethmann
Person(en)	Gethmann, Carl Friedrich (Verfasser)
Verlag	Berlin : Berlin-Brandenburgische Akademie der Wissenschaften
Zeitliche Einordnung	Erscheinungsdatum: 2019
Umfang/Format	Online-Ressource (pdf)
Persistent Identifier	URN: urn:nbn:de:kobv:b4-opus4-32089
URL	https://edoc.bbaw.de/frontdoor/index/index/docId/3208 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Deutsch (ger)
Schlagwörter	Intuitionistische Logik* ; Beweisbarkeit* ; Intuitionismus* ; Wahrheit* ; Gethmann, Carl Friedrich* (*maschinell ermittelt)
DDC-Notation	511.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	510 Mathematik

Online-Zugriff

Archivobjekt öffnen

Treffer 15 von 81

Korrekturanfrage