Automata, Computability, and Complexity: Theory and Applications by Elaine Rich

Alan Turing and Alonzo Church

The Entscheidungsproblem

Alan Turing

Alonzo Church