Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2018 bis 1. Januar 2019 ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums der Deutschen Nationalbibliothek in Leipzig sind vom 27. bis 30. Dezember 2018 jeweils von 10 bis 18 Uhr geöffnet. Die Präsentation „Albert Kapr 100“ ist geschlossen.
 
Neuigkeiten The German National Library will be closed from 24 December 2017 to 1 January 2018. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00 on 27 to 30 December 2018. The presentation “Albert Kapr” will be closed.
 
 

Ergebnis der Suche nach: nid=4046974-8



Treffer 1 von 1 < < > <



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 84 Publikationen
  1. Nowhere dense classes of graphs
    Siebertz, Sebastian. - Berlin : Universitätsverlag der TU Berlin, 2016
  2. Nowhere dense classes of graphs
    Siebertz, Sebastian. - Berlin : Universitätsverlag der TU Berlin, 2016
  3. ...
Maschinell verknüpft mit 4 Publikationen
  1. Aussagen- und Prädikatenlogik
    van Riel, Raphael. - Stuttgart : J.B. Metzler, 2018, 1. Auflage
  2. Logik
    Schurz, Gerhard. - Berlin/Boston : De Gruyter, 2018, 1. Auflage
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration