Ansetzungsform: | Prädikatenlogik |
---|---|
SWD: | 4046974-8 |
GND: | 4046974-8 |
PPN (SWB): | 106196197 |
Quelle: | M |
SWD-Systematiknummer: | 28 |
Notation DDC: | 005.131;160;511.3 |
Alternativformen: | Predicate logic Lógica dos predicados Logica dei predicati Logique des prédicats Lógica de los predicados |
Verweisungsformen allg.: | Quantorenlogik |
Übergeordnete Bezeichnung: | Mathematische Logik Logik |
Verwandter Begriff: | Mathematische Logik Logik |