Unterscheidbarkeit Endlicher Geordneter Mengen mit Gegebener Anzahl von Quantoren

From MaRDI portal
Publication:5555682