Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=14*

Treffer 2757 von 2891


Link zu diesem Datensatz	https://d-nb.info/gnd/4162199-2
Sachbegriff	Intuitionistische Logik
Quelle	Enz. Philosophie (unter Wiss.theorie)
Synonyme	Effektive Logik
Oberbegriffe	Logik
Thematischer Bezug	Verwandter Begriff: Intuition Verwandter Begriff: Intuitionismus
DDC-Notation	143 160 511.31
Systematik	4.3 Erkenntnistheorie, Logik ; 28 Mathematik
Typ	Allgemeinbegriff (saz)
Andere Normdaten	RAMEAU: Logique intuitionniste
Untergeordnet	1 Datensatz Heyting-Arithmetik Intuitionistische Logik
Thema in	18 Publikationen Normativität, Geltung und andere Enigmen Jülich, Michael. - Tübingen : Mohr Siebeck, 2024, 1. Auflage Normativität, Geltung und andere Enigmen Jülich, Michael. - Tübingen : Mohr Siebeck, [2024] ...
Maschinell verknüpft mit	4 Publikationen 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) Schwichtenberg, Helmut. - Berlin : Berlin-Brandenburgische Akademie der Wissenschaften, 2019 Inhaltsverzeichnis / Berichte und Abhandlungen ; 8 Berlin : Berlin-Brandenburgische Akademie der Wissenschaften, 2019 ...

Treffer 2757 von 2891