A Note on the Entscheidungsproblem (1936)

by A Church
Venue:Journal of Symbolic Logic