Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: nid=4162199-2



Treffer 1 von 1 < < > <



Sachbegriffe
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
  1. Heyting-Arithmetik
    Intuitionistische Logik
Thema in 16 Publikationen
  1. Intuitionism vs. Classicism
    Haverkamp, Nick. - Frankfurt am Main : Vittorio Klostermann GmbH, 2015
  2. Intuitionism vs. classicism
    Haverkamp, Nick. - Frankfurt, M. : Klostermann, 2015
  3. ...
Maschinell verknüpft mit 4 Publikationen
  1. 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
  2. Inhaltsverzeichnis / Berichte und Abhandlungen ; 8
    Berlin : Berlin-Brandenburgische Akademie der Wissenschaften, 2019
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration