Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem

From MaRDI portal
Publication:4753170