A note on the Entscheidungsproblem.

From MaRDI portal
Publication:2610757