Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Benutzungsbereiche der Deutschen Nationalbibliothek bleiben ab Montag (16.03.2020) bis auf Weiteres geschlossen. Ihre bestehenden Bestellungen werden nach Leihfristende ins Magazin geschickt. Neue Bestellungen sind nach Wiederöffnung der Bibliothek möglich. Der Direktversand von Kopien ist zurzeit nicht möglich. Frei zugängliche 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 Public areas of the German National Library closed from Monday (16.03.2020) until further notice. Your existing orders will be sent to the magazine at the end of the loan period. New orders are possible after the library reopens. Until further notice there will be no document delivery service for users.
 
 

Ergebnis der Suche nach: idn=040469743






Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4046974-8
Sachbegriff Prädikatenlogik
Quelle M, Au=DB
Synonyme Quantorenlogik (Lex. Informatik)
Oberbegriffe Mathematische Logik
Logik
Thematischer Bezug Verwandter Begriff: Bewachte Logik
DDC-Notation 005.131
160
511.3
Systematik 28 Mathematik
Typ Allgemeinbegriff (saz)
Untergeordnet 2 Datensätze
  1. Dynamische Logik
    Prädikatenlogik
  2. Mehrsortige Prädikatenlogik
    Prädikatenlogik
Thema in 89 Publikationen
  1. Aussagen- und Prädikatenlogik
    Riel, Raphael van. - Stuttgart : J.B. Metzler Verlag, [2018], [1. Auflage]
  2. Aussagen- und Prädikatenlogik
    van Riel, Raphael. - Stuttgart : J.B. Metzler, 2018, 1. Auflage
  3. ...
Maschinell verknüpft mit 5 Publikationen
  1. Logik
    Schurz, Gerhard. - Berlin/Boston : De Gruyter, 2018, 1. Auflage
  2. Indefinitum und Quantifikativum
    Frosch, Helmut. - Mannheim : Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek, 2017
  3. ...

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.





Treffer 1 von 1
< < > <


E-Mail-IconAdministration