Entscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren

From MaRDI portal
Publication:4073367