A note on the Entscheidungsproblem (1936)

by Alonzo Church
Venue:Journal of Symbolic Logic