Heyting-Arithmetik Bezüge im Wissensnetz In Beziehung stehende Dewey-Dezimalklassifikation mit Determiniertheitsgrad 2 (1) GND 511.31 Oberbegriff allgemein (1) GND Intuitionistische Logik