Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/gnd/4137551-8 |
| Sachbegriff | Aussagenkalkül |
| Quelle | M |
| Oberbegriffe | Kalkül |
| Thematischer Bezug | Verwandter Begriff: Aussagenlogik |
| DDC-Notation |
511.3 160 |
| Systematik | 28 Mathematik |
| Typ | Allgemeinbegriff (saz) |
| Andere Normdaten |
LCSH: Propositional calculus RAMEAU: Calcul des propositions |
| Untergeordnet |
1 Datensatz
|
| Thema in |
2 Publikationen
|

