Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=4169324-3
Link zu diesem Datensatz | https://d-nb.info/gnd/4169324-3 |
Sachbegriff | Mehrsortige Prädikatenlogik |
Quelle | W Math |
Oberbegriffe | Prädikatenlogik |
Thematischer Bezug | Verwandter Begriff: Mehrsortige Logik |
DDC-Notation |
160 511.3 005.131 |
Systematik | 4.3 Erkenntnistheorie, Logik ; 28 Mathematik |
Typ | Allgemeinbegriff (saz) |