Monadische Prädikatenlogik zweiter Stufe Bezüge im Wissensnetz Relationierter Deskriptor (2) GND Monadische Logik Stufe 2