Untersuchungen über das Entscheidungsproblem der mathematischen Logik.

From MaRDI portal
Publication:2595477