Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=14*

Zurück zur Trefferliste


Treffer 2800 von 2934 < < > <



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 18 Publikationen
  1. Normativität, Geltung und andere Enigmen
    Jülich, Michael. - Tübingen : Mohr Siebeck, [2024]
  2. Normativität, Geltung und andere Enigmen
    Jülich, Michael. - Tübingen : Mohr Siebeck, 2024, 1. Auflage
  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 2800 von 2934
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration