A note on the Entscheidungsproblem”, The journal of symbolic logic 1 (1936)

by A Church